2607 search results - page 317 / 522 » Complete Functional Synthesis |
131
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
We define a boolean complete description logic dialect called DLFDreg that can be used to reason about structural equality in semistructured ordered data in the presence of docume...
131
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
We propose a category-independent method to produce a bag of regions and rank them, such that top-ranked regions are likely to be good segmentations of different objects. Our key ...
140
click to vote
AIIA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper a planning framework based on Ant Colony Optimization techniques is presented. Optimal planning is a very hard computational problem which has been coped with differe...
171
click to vote
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
133
click to vote
WABI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Comparing gene orders in completely sequenced genomes is a standard approach to locate clusters of functionally associated genes. Often, gene orders are modeled as permut...