4327 search results - page 458 / 866 » Web presentation system using RST events |
180
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
163
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Dividing web pages into fragments has been shown to provide significant benefits for both content generation and caching. In order for a web site to use fragment-based content gen...
180
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
152
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The problem of fault tolerance in cooperative manipulators rigidly connected to a solid object is addressed in this paper. Four faults are considered: free-swinging joint faults, ...
207
click to vote
CLEAR
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, two multimodal systems for the tracking of multiple users in smart environments are presented. The first is a multiview particle filter tracker using foreground, c...