892 search results - page 63 / 179 » integration 2002 |
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
AMAI
2002
Springer
13 years 10 months ago
2002
Springer
Argumentation is a reasoning model based on the construction of arguments and counterarguments (defeaters) then the selection of the most acceptable of them. In this paper, we pro...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
CSCW
2002
ACM
13 years 10 months ago
2002
ACM
Most cooperative work takes place in information-rich environments. However, studies of "information work" tend to focus on the decontextualized access and retrieval pro...
ENTCS
2002
13 years 10 months ago
2002
The aim of this work is to show that (oriented) matroid methods can be applied to many discrete geometries, namely those based on modules over integral (ordered) domains. The tric...