9444 search results - page 1602 / 1889 » The Language Model LMNtal |
149
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
184
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
196
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
186
Voted
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
Extraction of phrasal knowledge, such as proper names, domain-specific keyphrases and lexical templates from a domain-specific text collection are significant for developing effec...
199
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...