3775 search results - page 331 / 755 » The Expression Problem Revisited |
199
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
207
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
201
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
149
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this article we present the framework of Possibilistic Influence Diagrams (PID), which allow to model in a compact form problems of sequential decision making under un...
200
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...