1346 search results - page 144 / 270 » Algorithmic Search for Flexibility Using Resultants of Polyn... |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...
ICPP
1999
IEEE
14 years 5 days ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
ASUNAM
2009
IEEE
14 years 1 months ago
2009
IEEE
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
APWEB
2006
Springer
13 years 11 months ago
2006
Springer
The WWW provides a simple yet effective media for users to search, browse, and retrieve information in the Web. Web log mining is a promising tool to study user behaviors, which co...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...