5216 search results - page 361 / 1044 » Planning as Model Checking |
153
click to vote
COLING
2000
15 years 4 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
209
click to vote
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
132
click to vote
FLAIRS
2004
15 years 6 months ago
2004
We describe an approach to presenting information in spoken dialogues that for the first time brings together multi-attribute decision models, strategic content planning, state-of...
133
click to vote
CSFW
2009
IEEE
15 years 12 months ago
2009
IEEE
When collaborating agents share sensitive information to achieve a common goal it would be helpful to them to decide whether doing so will lead to an unwanted release of confiden...
158
Voted
AIME
2009
Springer
15 years 11 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...