1894 search results - page 290 / 379 » A TLA Proof System |
160
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
114
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents our research on devising a dependability assessment method for the upcoming OGSA 3.0 middleware using network level fault injection. We compare existing DCE mi...
129
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...
133
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
144
Voted
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...