4451 search results - page 683 / 891 » Continuous model synthesis |
168
click to vote
PEPM
2007
ACM
16 years 21 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
149
click to vote
DFT
2006
IEEE
16 years 19 days ago
2006
IEEE
Continued increase in complexity of digital image sensors means that defects are more likely to develop in the field, but little concrete information is available on in-field defe...
144
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract - This paper introduces new analyses and algorithms which are essential for the practical implementation of continuous backbone continuum robots. Actuator length limits st...
190
click to vote
LICS
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
184
click to vote
SSDBM
2006
IEEE
16 years 17 days ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...