Sciweavers

2412 search results - page 378 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
SAC
2003
ACM
14 years 1 months ago
ARCHITECT-R: A System for Reconfigurable Robots Design
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
R. A. Gonçalves, P. A. Moraes, João ...
FM
2003
Springer
109views Formal Methods» more  FM 2003»
14 years 1 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
FGR
2000
IEEE
233views Biometrics» more  FGR 2000»
14 years 5 days ago
Comprehensive Database for Facial Expression Analysis
Within the past decade, significant effort has occurred in developing methods of facial expression analysis. Because most investigators have used relatively limited data sets, the...
Takeo Kanade, Ying-li Tian, Jeffrey F. Cohn
INFOVIS
2000
IEEE
14 years 5 days ago
Getting Portals to Behave
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...
Chris Olston, Allison Woodruff
ICES
1998
Springer
95views Hardware» more  ICES 1998»
14 years 1 hour ago
Embryonics: A Microscopic View of the Molecular Architecture
The ontogenetic development of living beings suggests the design of a new kind of multicellular automaton endowed with novel quasi-biological properties: self-repair and self-repli...
Daniel Mange, André Stauffer, Gianluca Temp...