6167 search results - page 99 / 1234 » Can Refinement be Automated |
145
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
119
click to vote
ETS
2002
IEEE
15 years 3 months ago
2002
IEEE
Computer simulation is used extensively both as an educational tool and within industry. It can be employed as a means of developing a new process or system or as a means of exper...
116
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Through automated negotiation we aim to improve task allocation in a distributed sensor network. In particular, we look at a type of adaptive weather-sensing radar that permits th...
131
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
In interactive question answering (QA), users and systems take turns to ask questions and provide answers. In such an interactive setting, user questions largely depend on the ans...
143
click to vote
CRV
2005
IEEE
15 years 9 months ago
2005
IEEE
The problem of elucidating the functional significance of genes is a key challenge of modern science. Solving this problem can lead to fundamental advancements across multiple are...