2082 search results - page 191 / 417 » Change Paths in Reasoning! |
117
click to vote
JOLLI
2010
15 years 2 months ago
2010
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
164
click to vote
CIIA
2009
15 years 1 months ago
2009
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
249
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
We present the GeoStar project at RPI, which researches various terrain (i.e., elevation) representations and operations thereon. This work is motivated by the large amounts of hi...
122
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring...
128
click to vote
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
The Internet consists of thousands of independent domains with different, and sometimes competing, business interests. However, the current interdomain routing protocol (BGP) limi...