3729 search results - page 414 / 746 » On Formal Modeling of Agent Computations |
153
click to vote
FMCAD
2004
Springer
16 years 6 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
207
click to vote
CAV
1997
Springer
15 years 11 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
185
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
It is well known that our prior knowledge and experiences affect how we learn new concepts. Although several formal modeling attempts have been made to quantitatively describe the ...
166
click to vote
COLING
2002
15 years 6 months ago
2002
We present a quantitative model of word order and movement constraints that enables a simple and uniform treatment of a seemingly heterogeneous collection of linear order phenomena...
259
click to vote
EIS
2011
15 years 1 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...