2894 search results - page 190 / 579 » Latent semantic analysis |
AAAI
1997
13 years 11 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...
LISP
2006
13 years 10 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...
ICFEM
2004
Springer
14 years 3 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...
AIPS
2009
13 years 11 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...
JSAI
2005
Springer
14 years 3 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...