12193 search results - page 2315 / 2439 » It's not all about |
180
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
153
click to vote
AAAI
2008
15 years 8 months ago
2008
Diagnosability is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. An unobservable fault event in...
177
click to vote
AAAI
2008
15 years 8 months ago
2008
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
178
click to vote
FLAIRS
2007
15 years 8 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
295
click to vote
ICIA
2007
15 years 8 months ago
2007
Mobile recommender systems have the potential to substantially enrich tourist experiences. As their handling marks a big challenge for ordinary users, its acceptance can only be e...