Sciweavers

937 search results - page 57 / 188
» Positive Active XML
Sort
View
CVPR
2011
IEEE
14 years 6 months ago
Object Segmentation by Alignment of Poselet Activations to Image Contours
In this paper, we propose techniques to make use of two complementary bottom-up features, image edges and texture patches, to guide top-down object segmentation towards higher pre...
Thomas Brox, Lubomir Bourdev, Subhransu Maji, Jite...
LICS
2010
IEEE
14 years 8 months ago
The Emptiness Problem for Tree Automata with Global Constraints
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
Luis Barguñó, Carles Creus, Guillem ...
ICDT
2011
ACM
270views Database» more  ICDT 2011»
14 years 1 months ago
On the equivalence of distributed systems with queries and communication
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
Serge Abiteboul, Balder ten Cate, Yannis Katsis
CAISE
2003
Springer
15 years 3 months ago
The S3 (Strategy-Service-Support) Framework for Business Process Modelling
One of the central activities in developing requirements for business processes is that of modelling the constituent parts of both existing and future processes. This position pape...
Pericles Loucopoulos
ICALP
2005
Springer
15 years 3 months ago
Logics for Unranked Trees: An Overview
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
Leonid Libkin