4978 search results - page 900 / 996 » Logical models of argument |
132
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
233
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
131
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
Given that most elementary problems in database design are NP-hard, the currently used database design algorithms produce suboptimal results. For example, the current 3NF decompos...
130
click to vote
PODS
2007
ACM
16 years 4 months ago
2007
ACM
The pebble tree automaton and the pebble tree transducer are enhanced by additionally allowing an unbounded number of `invisible' pebbles (as opposed to the usual `visible�...
146
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...