Sciweavers

14161 search results - page 474 / 2833
» On generalized middle-level problem
Sort
View
CVPR
2011
IEEE
15 years 3 months ago
Particle Filter with State Permutations for Solving Image Jigsaw Puzzles
We deal with an image jigsaw puzzle problem, which is defined as reconstructing an image from a set of square and non-overlapping image patches. It is known that a general instan...
Xingwei Yang, Nagesh Adluru, LonginJan Latecki
SIGMOD
2004
ACM
112views Database» more  SIGMOD 2004»
16 years 7 months ago
ORDPATHs: Insert-Friendly XML Node Labels
We introduce a hierarchical labeling scheme called ORDPATH that is implemented in the upcoming version of Microsoft? SQL ServerTM. ORDPATH labels nodes of an XML tree without requ...
Patrick E. O'Neil, Elizabeth J. O'Neil, Shankar Pa...
HRI
2009
ACM
16 years 1 months ago
Planning as an architectural control mechanism
We describe recent work on PECAS, an architecture for intelligent robotics that supports multi-modal interaction. Categories and Subject Descriptors I.2.8 [Computing Methodologies...
Nick Hawes, Michael Brenner, Kristoffer Sjö&o...
FOSSACS
2009
Springer
16 years 1 months ago
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
Parosh Aziz Abdulla, Richard Mayr
ICFCA
2009
Springer
16 years 1 months ago
Exploring Finite Models in the Description Logic
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
Franz Baader, Felix Distel