3573 search results - page 286 / 715 » Reasoning about Codata |
227
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
Route planners request user input about preferred route characteristics in order to provide the user with the optimal route. Although navigators have a general idea about what con...
123
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
107
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments o...
165
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
140
click to vote
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...