11211 search results - page 1607 / 2243 » Rank-Sensitive Data Structures |
182
Voted
TACAS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
197
click to vote
UM
2001
Springer
15 years 12 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
185
click to vote
APSEC
2000
IEEE
15 years 12 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
182
click to vote
CA
2000
IEEE
15 years 12 months ago
2000
IEEE
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its ...
187
click to vote
HICSS
2000
IEEE
15 years 12 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...