2410 search results - page 87 / 482 » Multiset Ordering Constraints |
125
click to vote
JSCIC
2008
15 years 4 months ago
2008
The spline element method with constraints is a discretization method where the unknowns are expanded as polynomials on each element and Lagrange multipliers are used to enforce th...
133
click to vote
INFSOF
1998
15 years 4 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
139
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
123
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
153
Voted
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...