12950 search results - page 305 / 2590 » On Optimal Timed Strategies |
173
click to vote
ECIS
2000
15 years 8 months ago
2000
Abstract - In this paper we address a question highly relevant for many companies developing and implementing ERP or other software internationally. These companies have to integra...
164
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
This paper deals with the problem of designing a strategy profile which will enable collaborative interaction between agents. In particular, we consider the problem of information...
196
click to vote
SIMPAR
2010
15 years 5 months ago
2010
To benchmark the efficiency of exploration strategies one has to use robot simulators. In an exploration task, the robot faces an unknown environment. Of course one could test the ...
177
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
202
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...