4460 search results - page 839 / 892 » Formal methods for interactive systems |
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
RT
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
ITCC
2000
IEEE
14 years 1 days ago
2000
IEEE
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...
SSIAI
2000
IEEE
14 years 1 days ago
2000
IEEE
The use of random fields, which allows one to take into account the spatial interaction among random variables in complex systems, is a frequent tool in numerous problems of stati...
PLDI
1999
ACM
13 years 12 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...