5055 search results - page 250 / 1011 » Relative Timing |
217
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
Event search is the problem of identifying events or activity of interest in a large database storing long sequences of activity. In this paper, our topic is the problem of identi...
173
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
178
click to vote
RSFDGRC
2005
Springer
16 years 9 days ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
181
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
149
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Movement in wireless and sensor environments changes the degree to which we can communicate. Whereas sensor networks are generally seen as static, in many situations there is at l...