1187 search results - page 232 / 238 » Computation in Extended Argumentation Frameworks |
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— We define “random trip", a generic mobility model for independent mobiles that contains as special cases: the random waypoint on convex or non convex domains, random wa...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...
ICCAD
1999
IEEE
14 years 21 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...