1187 search results - page 39 / 238 » Computation in Extended Argumentation Frameworks |
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
With the increasing number of computers on the Internet, there is a growing interest in harnessing the unused and inexpensive computational resources over the Internet. However, c...
GI
1997
Springer
14 years 19 days ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
JMLR
2010
13 years 3 months ago
2010
Many structured information extraction tasks employ collective graphical models that capture interinstance associativity by coupling them with various clique potentials. We propos...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
CIAC
1997
Springer
14 years 19 days ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...