5015 search results - page 607 / 1003 » Model Checking a Path |
196
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
189
click to vote
ALGORITHMICA
2004
15 years 6 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
203
click to vote
WINE
2005
Springer
16 years 8 days ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...
199
click to vote
INFOVIS
2003
IEEE
16 years 3 days ago
2003
IEEE
Network evolution is a ubiquitous phenomenon in a wide variety of complex systems. There is an increasing interest in statistically modeling the evolution of complex networks such...
219
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...