1454 search results - page 63 / 291 » Stateful traits and their formalization |
75
Voted
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
This paper presents a formalization of automatic grammar acquisition that is based on lexicalized grammar formalisms (e.g. LTAG and HPSG). We state the conditions for the consiste...
104
Voted
JISE
1998
15 years 7 days ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
107
click to vote
ICDE
1994
IEEE
15 years 4 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
81
Voted
IFL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
95
Voted
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...