2894 search results - page 190 / 579 » Latent semantic analysis |
132
click to vote
AAAI
1997
15 years 6 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
167
click to vote
LISP
2006
15 years 5 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
160
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
146
click to vote
AIPS
2009
15 years 6 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
122
click to vote
JSAI
2005
Springer
15 years 11 months ago
2005
Springer
This paper will explain the asymmetry parallelism between node ‘because’ and toki ‘when’ in terms of the availability of Evidential Phrase in syntax, following the analysis...