4117 search results - page 611 / 824 » On the Satisfiability of Complex Constraints |
149
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Online target tracking requires to solve two problems: data association and online dynamic estimation. Usually, association effectiveness is based on prior information and observa...
154
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
In future high-performance systems it will be essential to balance often-conflicting objectives of performance, power, energy, and temperature under variable workload and environ...
168
click to vote
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Real-world robotic environments are highly structured. The scalability of planning and reasoning methods to cope with complex problems in such environments crucially de...
178
click to vote
ISCAS
2007
IEEE
16 years 29 days ago
2007
IEEE
-- In interconnect-dominated designs, the ability to minimize layout-induced parasitic effects is crucial for rapid design closure. Deep sub-micron effects and ubiquitous interfere...
140
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...