3653 search results - page 185 / 731 » On Recognizable Timed Languages |
169
Voted
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
142
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel analysis of a random sampling approach for three clustering problems in metric spaces: k-median, min-sum kclustering, and balanced k-medi...
172
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
126
Voted
LFP
1994
15 years 6 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
173
Voted
IJVR
2007
15 years 5 months ago
2007
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...