1912 search results - page 296 / 383 » On the evaluation of argumentation formalisms |
181
click to vote
ICALP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
182
click to vote
MIDDLEWARE
2007
Springer
16 years 13 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
147
click to vote
SEMWEB
2007
Springer
16 years 13 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
165
click to vote
VLDB
2007
ACM
16 years 12 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
169
click to vote
ACSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...