Sciweavers

10790 search results - page 1651 / 2158
» Using feature models to automate model transformations
Sort
View
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 7 months ago
Extending scientific computing system with structural quantum programming capabilities
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
P. Gawron, Jerzy Klamka, J. A. Miszczak, Ryszard W...
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 6 months ago
Enhanced Prolog Remote Predicate Call Protocol
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
Alin Suciu, Kalman Pusztai, Andrei Diaconu
192
Voted
RIDE
1999
IEEE
15 years 11 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
241
Voted
CVPR
2009
IEEE
1132views Computer Vision» more  CVPR 2009»
17 years 2 months ago
Observable Subspaces for 3D Human Motion Recovery
The articulated body models used to represent human motion typically have many degrees of freedom, usually expressed as joint angles that are highly correlated. T...
Andrea Fossati (EPFL), Mathieu Salzmann (Universit...
299
Voted
ICDE
2005
IEEE
120views Database» more  ICDE 2005»
16 years 8 months ago
Corpus-based Schema Matching
Schema Matching is the problem of identifying corresponding elements in different schemas. Discovering these correspondences or matches is inherently difficult to automate. Past s...
Jayant Madhavan, Philip A. Bernstein, AnHai Doan, ...
« Prev « First page 1651 / 2158 Last » Next »