4708 search results - page 813 / 942 » Generating the Structure of Argument |
158
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
146
click to vote
EIT
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
152
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
136
click to vote
DEXA
2007
Springer
15 years 10 months ago
2007
Springer
XML has become the standard format for data representation and exchange in domains ranging from Web to desktop applications. However, wide adoption of XML is hindered by inefficien...