9871 search results - page 1635 / 1975 » On the Structure of Low Sets |
185
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
183
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, an approach for reorganizing Web sites based on user access patterns is proposed. Our goal is to build adaptive Web sites by evolving site structure to facilitate u...
172
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
166
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...
227
click to vote
DAWAK
2001
Springer
15 years 11 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...