8008 search results - page 1357 / 1602 » Computer-Aided Language Processing |
140
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
112
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
147
Voted
DEBS
2007
ACM
15 years 4 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
145
Voted
ISPE
2003
15 years 4 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
142
click to vote
AAI
2007
15 years 2 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...