1187 search results - page 126 / 238 » Constructing Distributed Representations Using Additive Clus... |
155
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
130
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
119
Voted
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
It is crucial in many information systems to organize short text segments, such as keywords in documents and queries from users, into a well-formed topic hierarchy. In this paper,...
132
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
115
Voted
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...