4325 search results - page 21 / 865 » Incremental computation with names |
TLCA
2001
Springer
15 years 3 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
ACL
2008
15 years 3 days ago
2008
This paper describes a computational approach to resolving the true referent of a named mention of a person in the body of an email. A generative model of mention generation is us...
CIKM
2006
Springer
15 years 2 months ago
2006
Springer
Incremental hierarchical text document clustering algorithms are important in organizing documents generated from streaming on-line sources, such as, Newswire and Blogs. However, ...
100
click to vote
ICCL
1998
IEEE
15 years 2 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
FPGA
2004
ACM
15 years 2 months ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...