4352 search results - page 590 / 871 » A Representation Theorem and Applications |
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
176
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents Clusterfile, a parallel file system that provides parallel file access on a cluster of computers. Existing parallel file systems offer little control over matc...
167
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
153
Voted
KR
2000
Springer
15 years 10 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
199
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...