Sciweavers

1310 search results - page 103 / 262
» Parameterized Partial Evaluation
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 1 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
CVPR
2005
IEEE
16 years 4 days ago
Spatial Priors for Part-Based Recognition Using Statistical Models
We present a class of statistical models for part-based object recognition that are explicitly parameterized according to the degree of spatial structure they can represent. These...
David J. Crandall, Pedro F. Felzenszwalb, Daniel P...
SIGMOD
2006
ACM
153views Database» more  SIGMOD 2006»
15 years 10 months ago
Interactive query formulation over web service-accessed sources
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
Michalis Petropoulos, Alin Deutsch, Yannis Papakon...
SIGMOD
2003
ACM
150views Database» more  SIGMOD 2003»
15 years 10 months ago
Capturing both Types and Constraints in Data Integration
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
Michael Benedikt, Chee Yong Chan, Wenfei Fan, Juli...
DATE
2009
IEEE
171views Hardware» more  DATE 2009»
15 years 4 months ago
Automatic generation of streaming datapaths for arbitrary fixed permutations
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
Peter A. Milder, James C. Hoe, Markus Püschel