9659 search results - page 1638 / 1932 » Points on Computable Curves |
173
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
201
click to vote
FORMATS
2005
Springer
16 years 9 days ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
170
click to vote
GD
2005
Springer
16 years 9 days ago
2005
Springer
Most graph layout algorithms treat nodes as points. The problem of node overlap removal is to adjust the layout generated by such methods so that nodes of non-zero width and height...
160
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
163
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...