3166 search results - page 242 / 634 » Translation By Structural Correspondences |
163
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
169
click to vote
SAT
2007
Springer
16 years 22 days ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
160
click to vote
SAT
2007
Springer
16 years 22 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
149
click to vote
WIDM
2003
ACM
15 years 12 months ago
2003
ACM
Storage techniques and queries over XML databases are being widely studied. Most works store XML documents in traditional DBMSs in order to take advantage of a well established te...
191
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
XML is a widespread W3C standard used by several kinds of applications for data representation and exchange over the web. In the context of a system that provides semantic integrat...