685 search results - page 34 / 137 » Closure Operators for Order Structures |
100
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tracta...
109
click to vote
WAE
2001
15 years 3 months ago
2001
Abstract. A new realization of a space-efficient deque is presented. The data structure is constructed from three singly resizable arrays, each of which is a blockwiseallocated pil...
131
click to vote
FCT
1999
Springer
15 years 6 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
118
click to vote
ORL
2010
14 years 8 months ago
2010
: We analyze the comparative static effects of beneficial changes in the dependence structure between risks. In an insurance model with an insurable loss and dependent background w...
ISLPED
1998
ACM
15 years 6 months ago
1998
ACM
This paper introduces an energy-efficient FPGA module, intended for embedded implementations. The main features of the proposed cell include a rich local-interconnect network, whi...