3573 search results - page 343 / 715 » Reasoning about Codata |
115
Voted
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
131
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
139
Voted
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
158
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
134
Voted
UIST
2004
ACM
15 years 10 months ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...