1187 search results - page 141 / 238 » Computation in Extended Argumentation Frameworks |
130
click to vote
IEICET
2007
15 years 1 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
137
Voted
ALP
1992
Springer
15 years 5 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
DAC
2005
ACM
16 years 2 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
104
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
144
click to vote
PODS
2004
ACM
16 years 1 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...