410 search results - page 66 / 82 » Temporal View Self-Maintenance |
VISUALIZATION
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
HT
2003
ACM
14 years 2 months ago
2003
ACM
Existing hypertext systems have emphasized either the navigational or spatial expression of relationships between objects. We are exploring the combination of these modes of expre...
PPOPP
2003
ACM
14 years 2 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
CAV
2001
Springer
14 years 1 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...