1318 search results - page 56 / 264 » The formal semantics of the timeER model |
131
click to vote
ICGI
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
135
click to vote
JOLLI
1998
15 years 1 months ago
1998
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
118
click to vote
COORDINATION
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
152
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 6 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
125
click to vote
MICAI
2010
Springer
15 years 10 days ago
2010
Springer
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...