Sciweavers

705 search results - page 49 / 141
» System Diagnosability Analysis Using p-slop MAP
Sort
View
BC
2000
137views more  BC 2000»
15 years 4 months ago
Analysis of a distributed model of leg coordination
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...
Alan Calvitti, Randall D. Beer
FORTE
2008
15 years 5 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
CIVR
2006
Springer
139views Image Analysis» more  CIVR 2006»
15 years 8 months ago
NPIC: Hierarchical Synthetic Image Classification Using Image Search and Generic Features
We introduce NPIC, an image classification system that focuses on synthetic (e.g., non-photographic) images. We use class-specific keywords in an image search engine to create a no...
Fei Wang, Min-Yen Kan
CIVR
2010
Springer
176views Image Analysis» more  CIVR 2010»
15 years 2 months ago
Interacting with location-based multimedia using sketches
We propose a set of sketch-based interaction techniques for efficient retrieval of multimedia related to locations. The user makes a simple sketch on a map to interact with it, in...
Gamhewage C. de Silva, Kiyoharu Aizawa
BMCBI
2011
14 years 7 months ago
Fusion of metabolomics and proteomics data for biomarkers discovery: case study on the experimental autoimmune encephalomyelitis
Background: Analysis of Cerebrospinal Fluid (CSF) samples holds great promise to diagnose neurological pathologies and gain insight into the molecular background of these patholog...
Lionel Blanchet, Agnieszka Smolinska, Amos Attali,...