3909 search results - page 375 / 782 » Extreme Model Checking |
144
click to vote
TABLETOP
2007
IEEE
15 years 10 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...
133
click to vote
ISCAS
2006
IEEE
15 years 10 months 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...
141
click to vote
ICRA
2000
IEEE
15 years 8 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...
135
click to vote
WSC
2008
15 years 6 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...
157
click to vote
CLA
2004
15 years 5 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...