2108 search results - page 309 / 422 » An Operational Semantics for Stateflow |
126
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper, we reported experiments of unsupervised automatic acquisition of Italian and English verb subcategorization frames (SCFs) from general and domain corpora. The propo...
133
click to vote
SYRCODIS
2008
15 years 5 months ago
2008
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this ...
129
Voted
AAAI
2004
15 years 5 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
130
click to vote
DLT
2006
15 years 5 months ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
116
click to vote
APPINF
2003
15 years 5 months ago
2003
This paper presents an algorithm for recursive data processing in directed graphs. The proposed algorithm applies graph reduction in order to determine both starting points and a ...