466 search results - page 15 / 94 » A Theory of Rate-Based Execution |
107
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
209
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
157
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...
203
click to vote
JELIA
1994
Springer
15 years 10 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
170
click to vote
WRLA
2010
15 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...