4166 search results - page 423 / 834 » Automating the constraining process |
158
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Parameter variation in scaled technologies beyond 90nm will pose a major challenge for design of future high performance microprocessors. In this paper, we discuss process, voltag...
147
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Automated motion reconstruction of the left ventricle (LV) from 3D echocardiography provides insight into myocardium architecture and function. Low image quality and artifacts make...
146
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a novel technique for automated problem decomposition to address the problem of scalability in reinforcement learning. Our technique makes use of a set of near-optimal ...
137
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Semantic Annotation is a challenging research direction in the area of Semantic Web. Turning the web into a Semantic Web implies widespread semantic annotation of documents. But i...
259
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...