5451 search results - page 684 / 1091 » Typed Operational Semantics |
214
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
170
click to vote
ACL
2008
15 years 8 months ago
2008
In lexicalized grammatical formalisms, it is possible to separate lexical category assignment from the combinatory processes that make use of such categories, such as parsing and ...
217
click to vote
CIDR
2007
15 years 8 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...
166
click to vote
LREC
2008
15 years 8 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...
159
click to vote
SYRCODIS
2008
15 years 8 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 ...