417 search results - page 54 / 84 » Constructing Call Multigraphs Using Dependence Graphs |
QI
2009
Springer
15 years 6 months ago
2009
Springer
A novel way to define Quantum like measurements for text is through transformations called Selective Erasers. When applied to text, an Eraser acts like a filter and preserves par...
106
click to vote
IOLTS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we introduce an efficient technique for checkpointing multithreaded applications. Our approach makes use of processes constructed around the ARMOR (Adaptive Reconfi...
104
click to vote
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
When constructing 3D geometry for use in cel animation, the reference drawings of the object or character often contain various view-specific distortions, which cannot be captured...
ECAI
1990
Springer
15 years 3 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
SPLST
2003
15 years 1 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...