Sciweavers

2223 search results - page 140 / 445
» Events in Property Patterns
Sort
View
SIGMOD
2008
ACM
127views Database» more  SIGMOD 2008»
15 years 6 months ago
Minimization of tree pattern queries with constraints
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...
Ding Chen, Chee Yong Chan
PROCEDIA
2010
105views more  PROCEDIA 2010»
15 years 5 months ago
Improvement of parallelization efficiency of batch pattern BP training algorithm using Open MPI
The use of tuned collective’s module of Open MPI to improve a parallelization efficiency of parallel batch pattern back propagation training algorithm of a multilayer perceptron...
Volodymyr Turchenko, Lucio Grandinetti, George Bos...
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
16 years 1 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...
CRV
2008
IEEE
100views Robotics» more  CRV 2008»
16 years 1 months ago
Fast Normal Map Acquisition Using an LCD Screen Emitting Gradient Patterns
We propose an efficient technique for normal map acquisition, using a cheap and easy to build setup. Our setup consists solely of off-the-shelf components, such as an LCD screen,...
Yannick Francken, Chris Hermans, Tom Cuypers, Phil...
IFIP
2004
Springer
16 years 7 days ago
The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
Benjamin Wack