12774 search results - page 223 / 2555 » A Framework for Proof Systems |
214
click to vote
AHS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
170
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
We describe a framework for decomposing the distortion between two images into a linear combination of components. Unlike conventional linear bases such as those in Fourier or wav...
163
click to vote
ARGMAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper focuses of the group judgments obtained from a committee of agents that use deliberation. The deliberative process is realized by an argumentation framework called AMAL....
215
click to vote
CSCW
1998
ACM
15 years 11 months ago
1998
ACM
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
172
click to vote
DATE
2005
IEEE
16 years 26 days ago
2005
IEEE
In this paper is proposed a technique to integrate and simulate a dynamic memory in a multiprocessor framework based on C/C++/SystemC. Using host machine’s memory management cap...