Sciweavers

1529 search results - page 224 / 306
» On the Construction of Ontologies based on Natural Language ...
Sort
View
MEMOCODE
2003
IEEE
15 years 11 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
15 years 12 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe
ADC
2008
Springer
146views Database» more  ADC 2008»
16 years 22 days ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
POPL
2008
ACM
16 years 6 months ago
A theory of platform-dependent low-level software
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
Marius Nita, Dan Grossman, Craig Chambers
ACL
1992
15 years 7 months ago
Corpus-Based Acquisition of Relative Pronoun Disambiguation Heuristics
This paper presents a corpus-based approach for deriving heuristics to locate the antecedents of relative pronouns. The technique dupficates the performance of hand-coded rules an...
Claire Cardie