2647 search results - page 170 / 530 » Solving Term Inequalities |
128
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Distributed applications require distributed techniques for efficient resource allocation. These techniques need to take into account the heterogeneity and potential unreliability...
109
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
139
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider a new discriminative learning approach to sequence labeling based on the statistical concept of the Z-score. Given a training set of pairs of hidden-observed ...
112
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our research is based on the hypothesis that the most important problem that has to be solved, so as to help tutors, is the gap between required competencies of distance ...
136
click to vote
ESA
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we study several routing problems that generalize shortest paths and the Traveling Salesman Problem. We consider a more general model that incorporates the actual co...