4755 search results - page 399 / 951 » An Implementation Model for Collaborative Applications |
129
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
135
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
132
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
148
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
133
click to vote
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Hidden markov models (HMMs) and prediction by partial matching models (PPM) have been successfully used in language processing tasks including learning-based token identification. ...