Sciweavers

2223 search results - page 140 / 445
» Events in Property Patterns
Sort
View
SIGMOD
2008
ACM
127views Database» more  SIGMOD 2008»
14 years 10 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»
14 years 8 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»
15 years 4 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»
15 years 4 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
15 years 3 months 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