3679 search results - page 353 / 736 » Hybrid Semantic Analysis |
198
click to vote
ISSAC
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
151
Voted
LLC
2010
15 years 1 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
181
click to vote
SAMT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we attempt to characterize resources of information complementary to audio-visual (A/V) streams and propose their usage for enriching A/V data with semantic...
162
click to vote
SIGIR
2005
ACM
16 years 12 days ago
2005
ACM
Non-negative Matrix Factorization (NMF, [5]) and Probabilistic Latent Semantic Analysis (PLSA, [4]) have been successfully applied to a number of text analysis tasks such as docum...
177
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...