2894 search results - page 285 / 579 » Latent semantic analysis |
192
click to vote
ISSAC
1998
Springer
15 years 10 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...
144
click to vote
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...
174
click to vote
SAMT
2007
Springer
16 years 22 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...
173
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...
188
click to vote
CIVR
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. Colonoscopy is an important screening procedure for colorectal cancer. During this procedure, the endoscopist visually inspects the colon. Currently, there is no content-...