Sciweavers

757 search results - page 95 / 152
» clear 2007
Sort
View
ATAL
2007
Springer
15 years 4 months ago
Graphical models for online solutions to interactive POMDPs
We develop a new graphical representation for interactive partially observable Markov decision processes (I-POMDPs) that is significantly more transparent and semantically clear t...
Prashant Doshi, Yifeng Zeng, Qiongyu Chen
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
15 years 4 months ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
118
Voted
CANS
2007
Springer
154views Cryptology» more  CANS 2007»
15 years 4 months ago
Forward-Secure Key Evolution in Wireless Sensor Networks
We consider a key distribution scheme for securing node-to-node communication in sensor networks. While most schemes in use are based on random predistribution, we consider a syste...
Marek Klonowski, Miroslaw Kutylowski, Michal Ren, ...
91
Voted
COLT
2007
Springer
15 years 4 months ago
Minimax Bounds for Active Learning
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
Rui Castro, Robert D. Nowak
COSIT
2007
Springer
97views GIS» more  COSIT 2007»
15 years 4 months ago
Semantic Categories Underlying the Meaning of 'Place'
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
Brandon Bennett, Pragya Agarwal