4902 search results - page 385 / 981 » Structures, Semantics and Statistics |
199
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
200
click to vote
IR
2006
15 years 6 months ago
2006
The complexity and diversity of government regulations make understanding and retrieval of regulations a non-trivial task. One of the issues is the existence of multiple sources o...
286
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
196
click to vote
DOCENG
2003
ACM
16 years 1 days ago
2003
ACM
This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an a...
199
click to vote
IPM
2008
15 years 6 months ago
2008
Extracting semantic relationships between entities from text documents is challenging in information extraction and important for deep information processing and management. This ...