2354 search results - page 424 / 471 » A Common-Sense Theory of Time |
182
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
179
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
187
click to vote
CIKM
2007
Springer
16 years 15 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
180
click to vote
CMMR
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
206
click to vote
IPSN
2007
Springer
16 years 14 days ago
2007
Springer
We study the problem of aggregating data from a sparse set of nodes in a wireless sensor network. This is a common situation when a sensor network is deployed to detect relatively...