3909 search results - page 375 / 782 » Extreme Model Checking |
193
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
We envision a nomadic model of interaction where the personal computer fits in your pocket. Such a computer is extremely limited in screen space. A technique is described for “s...
178
click to vote
ISCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
Extremely low power consumption is the critical constraint for designing implantable neural decoders that inter- Desired face directly with the nervous system. Typically a system w...
176
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...
183
Voted
WSC
2008
15 years 9 months ago
2008
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
193
click to vote
CLA
2004
15 years 8 months ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...