305 search results - page 56 / 61 » Using Answer Sets to Solve Belief Change Problems |
181
Voted
PAMI
2010
15 years 7 days ago
2010
The notion of using context information for solving high-level vision and medical image segmentation problems has been increasingly realized in the field. However, how to learn a...
124
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
117
click to vote
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
— Real-world databases often have extremely complex schemas. With thousands of entity types and relationships, each with a hundred or so attributes, it is extremely difficult fo...
133
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
159
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...