10608 search results - page 1785 / 2122 » Complexity of O'Hara's Algorithm |
90
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
110
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...
ICMI
2004
Springer
15 years 6 months ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
91
Voted
IMR
2004
Springer
15 years 6 months ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
91
Voted
INLG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...