4690 search results - page 554 / 938 » An operational semantics for Scheme |
245
click to vote
CIDR
2007
15 years 9 months ago
2007
Object matching or object consolidation is a crucial task for data integration and data cleaning. It addresses the problem of identifying object instances in data sources referrin...
229
click to vote
FMOODS
2007
15 years 9 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
190
click to vote
LREC
2008
15 years 9 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...
171
click to vote
SYRCODIS
2008
15 years 9 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 ...
203
click to vote
AAAI
2004
15 years 9 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 (...