15614 search results - page 70 / 3123 » The State of State |
FASE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
IJCAI
2003
13 years 11 months ago
2003
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
ICCD
1992
IEEE
14 years 2 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
CIRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—Unmanned Air Vehicles (UAVs) have several advantages and disadvantages compared with Unmanned Ground Vehicles (UGVs). Both systems have different mobility and perception abiliti...