599 search results - page 93 / 120 » Integrating answer set programming and constraint logic prog... |
149
click to vote
ECLIPSE
2006
ACM
15 years 9 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...
146
Voted
ICCAD
2006
IEEE
16 years 10 days 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...
122
Voted
ICDT
2009
ACM
15 years 10 months 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...
150
Voted
AGP
2003
IEEE
15 years 8 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...
127
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...