10568 search results - page 676 / 2114 » Computer Intelligence and Formalization |
212
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
238
click to vote
TOSEM
2010
15 years 1 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
235
click to vote
KCAP
2011
ACM
14 years 10 months ago
2011
ACM
With billions of assertions and counting, the Web of Data represents the largest multi-contributor interlinked knowledge base that ever existed. We present a novel framework for a...
184
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...
158
click to vote
ATAL
2005
Springer
16 years 20 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...