3954 search results - page 371 / 791 » Image-based Model Completion |
136
click to vote
TARK
1998
Springer
15 years 9 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
185
click to vote
ER
1992
Springer
15 years 9 months ago
1992
Springer
In this paper, we address the problem of supporting more exibility on the schema of object-oriented databases. We describe a general framework based on an object-oriented data mode...
140
click to vote
ASSETS
2007
ACM
15 years 9 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
117
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
126
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present a method for transforming the infinite interactive state space of interactive POMDPs (I-POMDPs) into a finite one, thereby enabling the computation of exact solutions. ...