9284 search results - page 84 / 1857 » Knowledge State Algorithms |
119
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
124
click to vote
DAGSTUHL
2008
15 years 3 months ago
2008
This paper presents distributed bounded-error parameter and state estimation algorithms suited to measurement processing by a network of sensors. Contrary to centralized estimation...
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
106
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Emerging research demonstrates the potential of proteinprotein interaction (PPI) networks in uncovering the mechanistic bases of cancers, through identification of intera...
130
click to vote
PDPTA
2008
15 years 3 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...