9521 search results - page 354 / 1905 » Compiling with continuations, continued |
119
click to vote
TSD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes the design of the first large-scale IR test collection built for the Czech language. The creation of this collection also happens to be very challen...
146
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Weak fairness guarantees that if an action is continuously enabled, it is executed infinitely often. Strong fairness, on the other hand, guarantees that actions that are...
130
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates the architecture and design of agent-based sensor networks for petroleum offshore monitoring. A few challenges to monitor the reservoir, wellbore and wellh...
116
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we propose the double auction allocation model for grids, and three double auction protocols for resource allocation: Preston-McAfee Double Auction Protocol (PMDA), ...
115
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...