400 search results - page 23 / 80 » Moving Proofs-As-Programs into Practice |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
ACII
2005
Springer
14 years 1 months ago
2005
Springer
The applied prospect of the wearable computer is very extensive，in order to put wearable computer into practice, one of key technologies to be solved is to improve antivibration ...
ETRA
2004
ACM
14 years 29 days ago
2004
ACM
Human eye gaze is a strong candidate to create a new application area based on human-computer interaction. To implement a really practical gaze-based interaction system, gaze dete...
NPAR
2004
ACM
14 years 29 days ago
2004
ACM
Line drawings can convey shape using remarkably minimal visual content. Suggestive contours, which are lines drawn at certain types of view-dependent surface inflections, were pr...