1670 search results - page 240 / 334 » On Skolemization in constructive theories |
145
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
167
click to vote
ICALT
2008
IEEE
16 years 26 days ago
2008
IEEE
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
169
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
The emerging theory of compressed sensing (CS) provides a universal signal detection approach for sparse signals at sub-Nyquist sampling rates. A small number of random projection...
177
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
203
click to vote
HAPTICS
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper we discuss the theory, design and construction of a haptic display for creating texture sensations through variations in surface friction. Ultrasonic frequency, low ...