Sciweavers

2412 search results - page 378 / 483
» Which Problems Have Strongly Exponential Complexity
Sort
View
139
Voted
SAC
2003
ACM
15 years 7 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 ...
121
Voted
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 7 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...
114
Voted
FGR
2000
IEEE
233views Biometrics» more  FGR 2000»
15 years 7 months 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
123
Voted
INFOVIS
2000
IEEE
15 years 7 months 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»
15 years 6 months 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...