1963 search results - page 315 / 393 » Applications of Preferences using Answer Set Programming |
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
IDEAS
2005
IEEE
14 years 2 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
AVI
2000
13 years 10 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
TMI
2010
13 years 7 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...