225 search results - page 45 / 45 » Fast Points-to Analysis for Languages with Structured Types |
NDQA
2003
13 years 6 months ago
2003
Growth in government investment, academic research, and commercial question answering (QA) systems is motivating a need for increased planning and coordination. The internationali...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
SIGSOFT
2005
ACM
14 years 6 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
VRST
2003
ACM
13 years 10 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
AMR
2007
Springer
13 years 11 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...