4693 search results - page 650 / 939 » Verifying Hybrid Systems |
149
click to vote
NECO
2008
15 years 6 months ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
205
click to vote
PRL
2008
15 years 6 months ago
2008
The purpose of extractive summarization is to automatically select a number of indicative sentences, passages, or paragraphs from the original document according to a target summa...
203
click to vote
ACTA
2005
15 years 6 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
162
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--Distributed medium access control (MAC) is essential for a wireless network without a central controller. In previous work of the authors, a distributed MAC scheme has be...
167
click to vote
CCE
2007
15 years 6 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...