1768 search results - page 163 / 354 » A Logic for Algebraic Effects |
165
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
Searching for multiple string patterns in a stream of data is a computationally expensive task. The speed of the search pattern module determines the overall performance of deep p...
161
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
206
click to vote
IJCAI
1989
15 years 8 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
208
click to vote
MICRO
2010
IEEE
15 years 5 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
184
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
Several technologies with sub-lithographic features are targeting the fabrication of crossbar memories in which the nanowire decoder is playing a major role. In this paper, we sug...