Sciweavers

705 search results - page 49 / 141
» System Diagnosability Analysis Using p-slop MAP
Sort
View
BC
2000
137views more  BC 2000»
14 years 9 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
14 years 11 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 1 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»
14 years 7 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 1 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,...