1968 search results - page 149 / 394 » Symmetry in Decision Evaluation |
174
click to vote
EAAI
2008
15 years 6 months ago
2008
In a supply chain organized as a network of autonomous enterprises, the main objective of each partner is to optimize his production and supply policy with respect to his own econ...
152
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
149
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
165
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...
190
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...