4298 search results - page 595 / 860 » Measurable chromatic numbers |
200
Voted
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
161
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
167
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
179
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
Haptic devices are now commercially available and thus touch has become a potentially realistic solution to a variety of interaction design challenges. We report on an investigati...
174
click to vote
DARS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The connectivity of the con guration space has been a valuable concept in the motion planning for single robots in both known and unknown terrains. We show here that n-co...