Search For:

Displaying 1-50 out of 1,208 total
Modeling and estimation of internal friction in cloth
Found in: ACM Transactions on Graphics (TOG)
By Bernd Bickel, Bernhard Thomaszewski, Derek Bradley, Miguel A. Otaduy, Wojciech Matusik, Eder Miguel, Rasmus Tamstorf, Sara C. Schvartzman, Steve Marschner
Issue Date:November 2013
pp. 1-10
Force-deformation measurements of cloth exhibit significant hysteresis, and many researchers have identified internal friction as the source of this effect. However, it has not been incorporated into computer animation models of cloth. In this paper, we pr...
Model-based development for RTSJ platforms
Found in: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '12)
By Emilio Salazar, Miguel A. de Miguel
Issue Date:October 2012
pp. 175-184
The integration of real-time concepts into modeling tools and Java virtual machines and APIs are two problems addressed along last decade. Examples of standards addressing these problems are RTSJ (Real-Time Specification for Java) and MARTE (Modeling and A...
A Hardware Architecture for Image Clustering Using Spiking Neural Networks
Found in: 2012 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
By Marco Aurelio Nuno-Maganda,Miguel Arias-Estrada,Cesar Torres-Huitzil,Hector Hugo Aviles-Arriaga,Yahir Hern'ndez-Mier,Miguel Morales-Sandoval
Issue Date:August 2012
pp. 261-266
Spiking Neural Networks (SNNs) have become an important research theme due to new discoveries and advances in neurophysiology, which states that information among neurons is interchanged via pulses or spikes. FPGAs are widely used for implementing high per...
ICTD Work, Plus mFeel
Found in: IEEE Pervasive Computing
By Joerg Doerflinger,Tom Gross,Olga Lyra,Evangelos Karapanos,Vassilis Kostakos,Ismael Cuadrado-Cordero,Luis Miguel Soria-Morillo,Luis González-Abril,Juan Antonio Ortega-Ramírez,Iván Pau de la Cruz,Miguel Ángel Valero Duboy,Eiman Ka
Issue Date:July 2012
pp. 43-45
This issue's Works-In-Progress department has four entries related to the issue's theme, Information and Communication Technologies for Development (ICTD). They are “Sustainable ICT in Agricultural Value Chains”, “Measuring Social Inclusion in Primary Scho...
Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures
Found in: Services Computing, IEEE International Conference on
By Juan Pedro Silva Gallino,Miguel de Miguel,Javier F. Briones,Alejandro Alonso
Issue Date:July 2011
pp. 761-762
Service-Oriented Architectures (SOA), and Web Services (WS), the technology generally used to implement them, achieve the integration of heterogeneous technologies, providing interoperability, and yielding the reutilization of pre-existent systems. Model-d...
Oxygen Cylinders Management Architecture Based on Internet of Things
Found in: Computational Science and its Applications, International Conference
By Miguel Castro, Agustín Guillén, José L. Fuster, Antonio J. Jara, Miguel A. Zamora, Antonio F. Gómez Skarmeta
Issue Date:June 2011
pp. 271-274
Supply chain processes are being redefined and enhanced with the use of technologies based on the Internet of Things. This work presents an example of as an industrial process such as oxygen cylinders refilling and evaluation is enhanced with the use of th...
How high can expectations go?: practitioner issues and risks of interactive installations
Found in: interactions
By Joaquim Jorge, Miguel Campos, Miguel Campos, Pedro Campos, Pedro Campos
Issue Date:May 2011
pp. 30-35
This forum is dedicated to personal health in all its many facets: decision-making, goal setting, celebration, discovery, reflection, and coordination --- even entertainment. We'll look at innovations in interactive technologies and how they help address c...
Accelerating Particle Swarm Algorithm with GPGPU
Found in: 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2011)
By Miguel Cádenas-Montes,Miguel A Vega-Rodríguez,Juan José Rodríguez-Vázquez,Antonio Gómez-Iglesias
Issue Date:February 2011
pp. 560-564
This paper focuses on solving large size optimization problems using GPGPU. Evolutionary Algorithms for solving these optimization problems suffer from the curse of dimensionality, which implies that their performance deteriorates as quickly as the dimensi...
Distributed and Asynchronous Bees Algorithm Applied to Nuclear Fusion Research
Found in: 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2011)
By Antonio Gómez-Iglesias,Miguel A Vega-Rodríguez,Francisco Castejón,Miguel Cárdenas-Montes
Issue Date:February 2011
pp. 365-372
Recently, there have been several developments in the scientific community to model and solve complex optimization problems by employing natural metaphors. In some cases, due to their distributed schema, these algorithms can be adapted to distributed compu...
A Collaborative Approach for Spam Detection
Found in: Evolving Internet, International Conference on
By Pedro Sousa, Artur Machado, Miguel Rocha, Paulo Cortez, Miguel Rio
Issue Date:September 2010
pp. 92-97
Electronic mail is nowadays one of the most important Internet networking services. However, there are still many challenges that should be faced in order to provide a better e-mail service quality, such as the growing dissemination of unsolicited e-mail (...
CLOUDIO: A Cloud Computing-Oriented Multi-tenant Architecture for Business Information Systems
Found in: Cloud Computing, IEEE International Conference on
By Enrique Jiménez Domingo, Javier Torres Niño, Angel Lagares Lemos, Miguel Lagares Lemos, Ricardo Colomo Palacios, Juan Miguel Gómez Berbís
Issue Date:July 2010
pp. 532-533
Cloud Computing is evolving from a mere “storage” technology to a new vehicle for Business Information Systems (BIS) to manage, organize and provide added-value strategies to current business models. However, the underlying infrastructure for Software-as-a...
A Comparison of Wavelet-Based Schemes for Parameter Estimation
Found in: HPCMP Users Group Conference
By Miguel Hernandez IV,Leticia Velazquez,Miguel Argaez
Issue Date:June 2010
pp. 71-76
We present the numerical performance of orthogonal and biorthogonal wavelet-based parameterization schemes for solving parameter estimation problems for finding a global solution using the Simultaneous Perturbation Stochastic Approximation (SPSA) algorithm...
Hybrid Optimization Schemes for Global Optimization: Wing Modeling of Micro-Aerial Vehicles
Found in: HPCMP Users Group Conference
By Leticia Vel´zquez,Miguel Arg´ez,Reinaldo Sanchez,Carlos Ramirez,Miguel Hernandez IV,Matt Culbreth,Antony Jameson
Issue Date:June 2010
pp. 149-154
In this paper, we present a parallel hybrid algorithm for solving global optimization problems that is based on the coupling of a stochastic global (Simultaneous-Perturbation Stochastic Approximation, Simulated Annealing, Genetic Algorithms) and a local me...
On the Requirements for Quality Composability Modeling and Analysis
Found in: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops , IEEE International Symposium on
By Javier Fernandez Briones, Miguel de Miguel, Juan Pedro Silva, Alejandro Alonso
Issue Date:May 2010
pp. 123-129
Real-time, embedded and safety-critical systems have to meet some quality criteria in order to provide certain reliance on its operation. The quality of a system depends on the complex composition of the quality of its subsystems. Quality composability dep...
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Juan Pedro Silva Gallino, Miguel A. de Miguel, Javier Fernández Briones, Alejandro Alonso
Issue Date:May 2010
pp. 92-96
Applying model-driven development methodologies provide inherent benefits such as increased productivity, greater reuse, and better maintainability, to name a few. Efforts on achieving model-driven development of web services already exist. However, there ...
Artificial Bee Colony Inspired Algorithm Applied to Fusion Research in a Grid Computing Environment
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Francisco Castejón, Miguel Cárdenas-Montes, Enrique Morales-Ramos
Issue Date:February 2010
pp. 508-512
Artificial Bee Colony (ABC) algorithm is an optimisation algorithm based on the intelligent behaviour of honey bee swarm. In this work, ABC algorithm is used to optimise the equilibrium of confined plasma in a nuclear fusion device. Plasma physics research...
Identification of Regulatory Modules in Time Series Gene Expression Data Using a Linear Time Biclustering Algorithm
Found in: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
By Arlindo L. Oliveira, Isabel Sa-Correia, Isabel Sa-Correia, Miguel C. Teixeira, Miguel C. Teixeira, Sara C. Madeira, Sara C. Madeira
Issue Date:January 2010
pp. 153-165
Although most biclustering formulations are NP-hard, in time series expression data analysis, it is reasonable to restrict the problem to the identification of maximal biclusters with contiguous columns, which correspond to coherent expression patterns sha...
Symbiotic Data Mining for Personalized Spam Filtering
Found in: Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on
By Paulo Cortez, Clotilde Lopes, Pedro Sousa, Miguel Rocha, Miguel Rio
Issue Date:September 2009
pp. 149-156
Unsolicited e-mail (spam) is a severe problem due to intrusion of privacy, online fraud, viruses and time spent reading unwanted messages. To solve this issue, Collaborative Filtering (CF) and Content-Based Filtering (CBF) solutions have been adopted. We p...
Evaluating the cell broadband engine as a platform to run estimation of distribution algorithms
Found in: Proceedings of the 11th annual conference companion on Genetic and evolutionary computation conference (GECCO '09)
By Alexander Mendiburu, Carlos Perez-Miguel, Jose Miguel-Alonso
Issue Date:July 2009
pp. 1-8
Current consumer-grade computers and game devices incorporate very powerful processors that can be used to accelerate many classes of scientific codes. However, programming multi-core chips, hybrid multi-processors or graphical processing units is not an e...
LPTV distribution network access system using WiMAX and WLAN technologies
Found in: Proceedings of the 4th edition of the UPGRADE-CN workshop on Use of P2P, GRID and agents for the development of content networks (UPGRADE-CN '09)
By Jaime Lloret, Miguel Edo, Miguel Garcia, Raquel Lacuesta
Issue Date:June 2009
pp. 1-2
The mobility and ubiquity for any type of device to access the IPTV network must be supplied by the service provider. The minimum bandwidth required in the access network to provide IPTV services jointly with the necessity to guarantee the Quality of Exper...
Exploration of the Conjecture of Bateman Using Particle Swarm Optimisation and Grid Computing
Found in: Parallel and Distributed Computing, International Symposium on
By Miguel Cárdenas-Montes, Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Enrique Morales-Ramos
Issue Date:July 2009
pp. 143-150
The Particle Swarm Optimisation concept is an evolutionary computation technique employed to find optimal solutions in problems with immense solution space. In this article, an application of Particle Swarm Optimisation technique to the survey of the Conje...
IP Telephony Development and Performance over IEEE 802.11g WLAN
Found in: Networking and Services, International conference on
By Miguel Edo, Miguel Garcia, Carlos Turro, Jaime Lloret
Issue Date:April 2009
pp. 186-191
With the adoption of the Wireless LAN technology as one of the main ways to access the enterprise network, IP services have found another place where they can be implemented. In this paper we will show the test and performance used to develop the IP teleph...
Quality of Service Composition and Adaptability of Software Architectures
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Javier F. Briones, Miguel A. de Miguel, A. Alonso, Juan Pedro Silva
Issue Date:March 2009
pp. 169-173
Quality of service adaptability refers to the ability of components/services to adapt in run-time the quality exhibited. A composition study from a quality point of view would investigate how these adaptable elements could be combined to meet system’s qual...
Using a Genetic Algorithm and the Grid to Improve Transport Levels in the TJ-II Stellarator
Found in: Parallel and Distributed Computing, International Symposium on
By Antonio Gómez-Iglesias,Miguel Á. Vega-Rodríguez,Francisco Castejón-Magaña,Miguel Cárdenas-Montes,Enrique Morales-Ramos
Issue Date:July 2008
pp. 81-88
Fusion energy is the next generation of energy. The devices that scientists are using to carry out their researches need more energy than they produce, because many problems are presented in fusion devices. In magnetic confinement devices, one of these pro...
Model Based Development of Quality-Aware Software Services
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Miguel A. de Miguel, Philippe Massonet, Juan P. Silva, Javier Briones
Issue Date:May 2008
pp. 563-569
Modelling languages and development frameworks give support for functional and structural description of software architectures. But quality-aware applications require languages which allow expressing QoS as a first-class concept during architecture design...
A FPGA Optimization Tool Based on a Multi-island Genetic Algorithm Distributed over Grid Environments
Found in: Cluster Computing and the Grid, IEEE International Symposium on
By Manuel Rubio-Solar, Miguel A. Vega-Rodríguez, Juan Manuel Sánchez Pérez, Antonio Gómez-Iglesias, Miguel Cárdenas-Montes
Issue Date:May 2008
pp. 65-72
In this work we present a Grid implementation of a FPGA optimization tool. The application is based on a Distributed Genetic Algorithm (DGA). It solves the placement and routing problem into the FPGA design cycle. The Grid infrastructure is based both on g...
Grid Computing in Order to Implement a Three-Dimensional Magnetohydrodynamic Equilibrium Solver for Plasma Confinement
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Antonio Gómez-Iglesias, Miguel A. Vega-Rodríguez, Francisco Castejón-Magaña, Manuel Rubio del Solar, Miguel Cárdenas Montes
Issue Date:February 2008
pp. 435-439
Fusion energy is the next generation of energy. Plasma confinement is part of the program to develop fusion energy, so many investigations have been performed on it. Grid computing is currently focused on scientific problems like fusion energy or climate. ...
Predictable Serialization in Java
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel
Issue Date:May 2007
pp. 102-109
RTSJ (Real-Time Specification for Java) extends and adapts the Java technology in order to allow the development of real time systems. In RTSJ the requirements of distributed systems were not considered. The serialization in Java is an example of a basic o...
A High-Level Reference Model for Reusable Object-Level Coordination Support in Groupware Applications
Found in: Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
By Miguel A. Gomez-Hernandez, Juan I. Asensio-Perez, Eduardo Gomez-Sanchez, Miguel L. Bote-Lorenzo, Yannis A. Dimitriadis
Issue Date:February 2007
pp. 315-324
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development efforts or user technical involvement. During the last decade several toolkits, fra...
Two Alternative RMI Models for Real-Time Distributed Applications
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso
Issue Date:May 2005
pp. 390-397
Java's popularity, facilities and platform independence have made it an interesting language for the real time community. The RTSJ (Real-Time Specification for Java) is a Java extension to allow the development of real-time systems. RTSJ does not supply an...
Model-Based Integration of Safety Analysis and Reliable Software Development
Found in: Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
By Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernandez
Issue Date:February 2005
pp. 312-319
<p>Software development of safety critical systems must combine the application of software developments techniques and safety analysis. The safety analyzers and software architects must have a common understanding of what makes a system safe, and wh...
Runtime Management of Quality Specification for QoS-Aware Components
Found in: EUROMICRO Conference
By Miguel A. de Miguel, M. Teresa Higuera
Issue Date:September 2004
pp. 84-91
Currently, the interface description languages in component infrastructures provides support for the description of functional properties, and structures such as deployment descriptors provide support to configure some specific extra-functional aspects (e....
Method for the Focal Plane Determination of Microscopic Objects
Found in: Electronics, Communications, and Computers, International Conference on
By Miguel E. Bravo-Zanoguera, Miguel A. Paz-González, Jeffrey H. Price
Issue Date:February 2004
pp. 179
Microscopy autofocus is designed to obtain the best average focus over the entire field of view, even though objects often reside at multiple foci. Here we report design of a focus detection circuit for random access operation on any object in a given area...
General Framework for the Description of QoS in UML
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Miguel A. de Miguel
Issue Date:May 2003
pp. 61
<p>UML is useful for modeling object-oriented systems, their behavior and interaction. However, UML currently does not support the modeling of quality of service (QoS) criteria, such as the reliability and accuracy (i.e., quality). A QoS framework pr...
Dynamic Detection of Access Errors and Illegal References in RTSJ
Found in: Real-Time and Embedded Technology and Applications Symposium, IEEE
By M. Teresa Higuera-Toledano, Miguel A. de Miguel-Cabello
Issue Date:September 2002
pp. 101
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Java. This paper provides an implementatio...
Integration of QoS Facilities into Component Container Architectures
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Miguel A. de Miguel
Issue Date:May 2002
pp. 0394
Component-based infrastructures provide support for the development and execution of component-based systems. However they have limitations in their application in real-time and reliable systems, because they do not integrate facilities to support these ty...
Solutions to Make Java-RMI Time Predictable
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Miguel A. de Miguel
Issue Date:May 2001
pp. 0379
Abstract: Java-RMI is a well-known distribution middleware framework that allows the invocation of remote methods. This paper describes the extension of Java-RMI model to make the remote method calls time predictable. We identify the problems of the jdk im...
An End-to-End QoS Management Architecture
Found in: Real-Time and Embedded Technology and Applications Symposium, IEEE
By Mallikarjun Shankar, Miguel de Miguel, Jane W.S. Liu
Issue Date:June 1999
pp. 176
This paper describes a distributed quality of service (QoS) management architecture and middleware that accommodates and manages different dimensions and measures of QoS. The middleware supports the specification, maintenance and adaptation of end-to-end Q...
Integrated Validation of Real-Time System Models
Found in: Real-Time Systems, Euromicro Conference on
By Juan C. Duenas, Alvaro Rendon, Miguel A. de Miguel
Issue Date:June 1997
pp. 241
The marked of real-time systems requires the development of new products or systems in a quicker and safer way. These systems are increasingly complex due to the growing number of functions they must control, and because of the responsibility put over thes...
Modeling Quality of Service Adaptability
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Javier F. Briones, Miguel Ángel de Miguel, Alejandro Alonso, Juan Pedro Silva
Issue Date:September 2008
pp. 50-27
Quality of service adaptability refers to the ability of services (or components) to adapt the quality exhibited during run-time, or to the faculty of architectural models to show that several alternatives concerning quality could be implemented. Enclosing...
A Self-Adaptive Multi-Agent System Approach for Collaborative Mobile Learning
Found in: IEEE Transactions on Learning Technologies
By Didac Gil de la Iglesia,Juan Felipe Calderon,Danny Weyns,Marcelo Milrad,Miguel Nussbaum Voehl
Issue Date:February 2015
pp. 1
Mobile technologies have emerged as facilitators in the learning process, extending traditional classroom activities. However, engineering mobile learning applications for outdoor usage poses severe challenges. The requirements of these applications are ch...
Direction of Encounter (DoE): A Mobility-Based Location Method for Wireless Networks
Found in: IEEE Transactions on Mobile Computing
By Michael Pascoe-Chalke,Javier Gomez-Castellanos,Veronica Bonilla-Gonzalez,Miguel Lopez-Guerrero,Victor Rangel-Licea,Enrique Rodriguez-Colina
Issue Date:November 2014
pp. 2524-2536
Traditional location methods require specialized network infrastructure or add-on location hardware in order to estimate node positions. As an opposite approach, direction of encounter (DoE) uses standard wireless networking equipment and takes advantage o...
Promoting Interoperability in Europe's E-Government
Found in: Computer
By Konstantinos Bovalis,Vassilios Peristeras,Margarida Abecasis,Raul-Mario Abril-Jimenez,Miguel Alvarez Rodriguez,Corinne Gattegno,Athanasios Karalopoulos,Ioannis Sagias,Szabolcs Szekacs,Suzanne Wigard
Issue Date:October 2014
pp. 25-33
To address a fragmented European ­e-government landscape, the Interoperability Solutions for Public Administrations (ISA) program has created a model for implementing interoperability solutions across technical, semantic, organizational, and legal levels, ...
Behind the Scenes
Found in: IEEE Computer Graphics and Applications
By L. Miguel Encarnacao
Issue Date:September 2014
pp. 6
Editor in chief Miguel Encarnação discusses the special issue on Business Intelligence and some of the considerations the CG&amp;A editorial board gave the original proposal.
Adaptive and Energy Efficient Context Representation Framework in Mobile Sensing
Found in: IEEE Transactions on Mobile Computing
By Ozgur Yurur,Miguel Labrador,Wilfrido Moreno
Issue Date:August 2014
pp. 1-1
This paper presents a novel framework that includes an inhomogeneous (time-variant) Hidden Markov Model (HMM) and learning from data concepts. The framework either recognizes or estimates user contextual inferences called `user states' within the concept o...
Static Signature Synthesis: A Neuromotor Inspired Approach for Biometrics
Found in: IEEE Transactions on Pattern Analysis and Machine Intelligence
By Miguel A. Ferrer,Moises Diaz-Cabrera,Aythami Morales
Issue Date:August 2014
pp. 1
In this paper we propose a new method for generating synthetic handwritten signature images for biometric applications. The procedures we introduce imitate the mechanism of motor equivalence which divides human handwriting into two steps: the working out o...
Parallel Multiobjective Metaheuristics for Inferring Phylogenies on Multicore Clusters
Found in: IEEE Transactions on Parallel and Distributed Systems
By Sergio Santander-Jimenez,Miguel Vega-Rodriguez
Issue Date:August 2014
pp. 1
The development of efficient parallel algorithms based on mixed mode programming represents one of the most popular lines of research in current bioinformatics. By exploiting hardware resources at inter-node/intra-node level, we can address grand computati...
Non-Rigid Graph Registration using Active Testing Search
Found in: IEEE Transactions on Pattern Analysis and Machine Intelligence
By Eduard Serradell,Miguel Pinheiro,Raphael Sznitman,Jan Kybic,Francesc Moreno-Noguer,Pascal Fua
Issue Date:August 2014
pp. 1
We present a new approach for matching sets of branching curvilinear structures that form graphs embedded in R2 or R3 and may be subject to deformations. Unlike earlier methods, ours does not rely on local appearance similarity nor does require a good init...
Relation Graphs and Partial Clones on a 2-Element Set
Found in: 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL)
By Miguel Couceiro,Lucien Haddad,Karsten Scholzel,Tamas Waldhauser
Issue Date:May 2014
pp. 161-166
In a recent paper, the authors show that the sublattice of partial clones that preserve the relation {(0,0),(0,1),(1,0)} is of continuum cardinality on 2. In this paper we give an alternative proof to this result by making use of a representation of relati...
A Clustered SDN Architecture for Large Scale WSON
Found in: 2014 IEEE 28th International Conference on Advanced Information Networking and Applications (AINA)
By Manoel Camillo Penna,Edgard Jamhour,Marcio L.F. Miguel
Issue Date:May 2014
pp. 374-381
Software defined network (SDN) allows the rethinking of traditional approaches to network design and architecture. The distribution of the unified control-plane can be necessary in several SDN scenarios, particularly for large scale inter-domain optical ne...
 1  2 Next >>