12950 search results - page 213 / 2590 » On Optimal Timed Strategies |
209
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
208
click to vote
WWW
2008
ACM
15 years 6 months ago
2008
ACM
We propose a novel Partition Path-Based (PPB) grouping strategy to store compressed XML data in a stream of blocks. In addition, we employ a minimal indexing scheme called Block S...
203
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...
177
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Information retrieval is an important problem in any evidence-based discipline. Although Evidencebased Software Engineering (EBSE) is not immune to this fact, this question has no...
155
click to vote
CCR
1999
15 years 6 months ago
1999
In ATM UBR networks supporting TCP traffic, optimal efficiency can only be envisaged if switches adopt a discard mechanism that operates at the packet level rather than the cell l...