3552 search results - page 494 / 711 » Proof theory in the abstract |
153
click to vote
ACII
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We have built eMoto, a mobile service for sending and receiving affective messages, with the explicit aim of addressing the inner experience of emotions. eMoto is a desig...
166
click to vote
APN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
154
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
217
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
156
click to vote
ICFEM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...