2748 search results - page 415 / 550 » Generating Object-Z Specifications from Use Cases |
132
Voted
CAD
2004
Springer
15 years 3 months ago
2004
Springer
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
123
click to vote
JAIR
2000
15 years 3 months ago
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
157
click to vote
ISB
2002
15 years 3 months ago
2002
ABSTRACT: Biochemical reactions form large and complex networks. Comprehensible visual representations of these networks help biochemists understand the relationships between the c...
144
click to vote
EMNLP
2010
15 years 1 months ago
2010
Determining whether a textual phrase denotes a functional relation (i.e., a relation that maps each domain element to a unique range element) is useful for numerous NLP tasks such...
105
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
The topic of reusable software in robotics is now largely addressed. Components based architectures, where components are independent units that can be reused accross applications,...