11328 search results - page 164 / 2266 » Timed Branching Processes |
156
Voted
MICRO
1994
IEEE
15 years 7 months ago
1994
IEEE
We examine two pipeline structures which are employed in commercial microprocessors. The first is the load-use interlock (LUI) pipeline, which employs an interlock to ensure corre...
119
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
127
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
116
click to vote
INTERACT
2007
15 years 5 months ago
2007
This paper addresses the visualization of the collaboration history in the development of software items using a simple interactive representation called Revision Tree. The visuali...
126
Voted
AAAI
2004
15 years 5 months ago
2004
We consider from a computational perspective the problem of how to aggregate the ranking preferences of a number of alternatives by a number of different voters into a single cons...