Sciweavers

1039 search results - page 171 / 208
» Query reformulation with constraints
Sort
View
CGF
2006
156views more  CGF 2006»
13 years 8 months ago
Semantic Photo Synthesis
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
Matthew Johnson, Gabriel J. Brostow, Jamie Shotton...
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
12 years 11 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
EDOC
2011
IEEE
12 years 8 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
SIGMOD
2012
ACM
202views Database» more  SIGMOD 2012»
11 years 11 months ago
MCJoin: a memory-constrained join for column-store main-memory databases
There exists a need for high performance, read-only mainmemory database systems for OLAP-style application scenarios. Most of the existing works in this area are centered around t...
Steven Keith Begley, Zhen He, Yi-Ping Phoebe Chen
ICLP
2009
Springer
14 years 9 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...