Sciweavers

7296 search results - page 1147 / 1460
» informs 2010
Sort
View
220
Voted
ISOLA
2010
Springer
15 years 6 months ago
Towards an Architecture for Runtime Interoperability
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
Amel Bennaceur, Gordon S. Blair, Franck Chauvel, G...
193
Voted
ISVC
2010
Springer
15 years 6 months ago
Acquisition Scenario Analysis for Face Recognition at a Distance
An experimental analysis of three acquisition scenarios for face recognition at a distance is reported, namely: close, medium, and far distance between camera and query face, the t...
Pedro Tome-Gonzalez, Julian Fiérrez-Aguilar...
226
Voted
ISVC
2010
Springer
15 years 6 months ago
Visual Network Analysis of Dynamic Metabolic Pathways
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
Markus Rohrschneider, Alexander Ullrich, Andreas K...
184
Voted
ISVC
2010
Springer
15 years 6 months ago
Visual Exploration of Stream Pattern Changes Using a Data-Driven Framework
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...
Zaixian Xie, Matthew O. Ward, Elke A. Rundensteine...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 6 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
« Prev « First page 1147 / 1460 Last » Next »