1897 search results - page 192 / 380 » Conditional Linear Planning |
126
Voted
MIAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions qui...
144
Voted
CSL
2003
Springer
15 years 9 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
An omnidirectional platform with an Active Offset Split Caster (ASOC) is described and its ability to operate on non-ideal floors is studied. It is shown that all of its driven wh...
127
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...