5945 search results - page 228 / 1189 » A Model for Projection and Action |
168
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
140
click to vote
EXACT
2007
15 years 9 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
166
click to vote
ISQED
2006
IEEE
16 years 22 days ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
153
Voted
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
An activity consists of an actor performing a series of actions in a pre-defined temporal order. An action is an individual atomic unit of an activity. Different instances of the ...
169
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...