6583 search results - page 981 / 1317 » Semantic Analysis Patterns |
169
Voted
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 2 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
199
click to vote
CORR
2011
Springer
15 years 5 hour ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
176
Voted
UAIS
2010
14 years 11 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
186
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
157
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...