3831 search results - page 264 / 767 » Dynamic Context Logic |
143
click to vote
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
170
click to vote
VISUALIZATION
2000
IEEE
15 years 10 months ago
2000
IEEE
Visualization can be an important tool for displaying, categorizing and digesting large quantities of inter-related information during laboratory and simulation experiments. Summa...
160
click to vote
DEXAW
2004
IEEE
15 years 9 months ago
2004
IEEE
The concept of automating Web services, specifically the brokering activities, is an active research topic. We need a comprehensive and overarching framework that handles the disc...
147
click to vote
DEXAW
2010
IEEE
15 years 7 months ago
2010
IEEE
This work is focused on the context of speech interfaces for controlling household electronic devices. In particular, we present an example of a spoken dialogue system for controll...
171
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...