3228 search results - page 591 / 646 » Computationally Sound Proofs |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
AAAI
2010
13 years 10 months ago
2010
Recent research has shown that surprisingly rich models of human behavior can be learned from GPS (positional) data. However, most research to date has concentrated on modeling si...
OPODIS
2007
13 years 10 months ago
2007
Peer to peer overlay networks have proven to be a good support for storing and retrieving data in a fully decentralized way. A sound approach is to structure them in such a way tha...
UAI
2008
13 years 10 months ago
2008
We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...
IADIS
2004
13 years 10 months ago
2004
To improve the courses of computer-based education in junior high school and high school, we have developed new educational multi-media tool, named Cyber Theater. Cyber Theater pr...