4460 search results - page 247 / 892 » Formal methods for interactive systems |
152
click to vote
IBPRIA
2007
Springer
15 years 11 months ago
2007
Springer
The recognition of emotional information is a key step toward giving computers the ability to interact more naturally and intelligently with people. This paper presents a completel...
133
click to vote
UIST
1995
ACM
15 years 8 months ago
1995
ACM
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
151
click to vote
ITP
2010
15 years 3 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
175
Voted
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
146
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...