2845 search results - page 137 / 569 » Constraints over Ontologies |
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
177
click to vote
IANDC
2007
15 years 6 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
171
click to vote
SIAMJO
2008
15 years 6 months ago
2008
It is known that the Karush-Kuhn-Tucker (KKT) conditions of semidefinite programming can be reformulated as a nonsmooth system via the metric projector over the cone of symmetric ...
166
click to vote
ACL
2010
15 years 4 months ago
2010
This work models Word Sense Disambiguation (WSD) problem as a Distributed Constraint Optimization Problem (DCOP). To model WSD as a DCOP, we view information from various knowledg...
165
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...