2435 search results - page 164 / 487 » Intellexer Question Answering |
113
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...
172
Voted
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Date's popular critique of SQL's three-valued logic [4, 3] purports to demonstrate that SQL queries can produce erroneous results when nulls are present in the database....
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The middleware market represents a sizable segment of the overall Information and Communication Technology market. In 2005, the annual middleware license revenue was reported by G...
124
Voted
STACS
2010
Springer
15 years 11 months ago
2010
Springer
We present a method for reducing the treewidth of a graph while preserving all the minimal s−t separators. This technique turns out to be very useful in the design of parameteriz...
169
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Working in Winfree’s abstract tile assembly model, we show that a constant-size tile assembly system can be programmed through relative tile concentrations to build an n × n...