1310 search results - page 28 / 262 » Parameterized Partial Evaluation |
153
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
133
click to vote
TSD
2007
Springer
16 years 3 days ago
2007
Springer
Automatic classification of dialogues between clients and a service center needs a preliminary dialogue parameterization. Such a parameterization is usually faced with essential di...
174
click to vote
FORTE
2004
15 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
194
click to vote
IJCV
2010
15 years 4 months ago
2010
A decomposition is described, which parameterizes the geometry and appearance of contours and regions of gray-scale images with the goal of fast categorization. To express the con...