1523 search results - page 150 / 305 » Partially ordered secretaries |
168
click to vote
AGP
1994
IEEE
15 years 9 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
160
click to vote
CHI
2006
ACM
15 years 9 months ago
2006
ACM
The state-of-the-art in computer drawing programs is based on a number of concepts that are over two decades old. One such concept is the use of layers for ordering the surfaces i...
148
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
121
click to vote
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Information Retrieval community uses a variety of performance measures to evaluate the effectiveness of scoring functions. In this paper, we show how to adapt six pop...
164
click to vote
TCS
2008
15 years 5 months ago
2008
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...