599 search results - page 93 / 120 » Integrating answer set programming and constraint logic prog... |
179
click to vote
ECLIPSE
2006
ACM
15 years 12 months ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
180
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
151
click to vote
ICDT
2009
ACM
16 years 20 days ago
2009
ACM
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...
186
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
157
click to vote
ICTAI
2008
IEEE
16 years 9 days ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...