3758 search results - page 366 / 752 » A Complete Subsumption Algorithm |
161
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
182
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Many researchers have noted that web search queries are often ambiguous or unclear. We present an approach for identifying the popular meanings of queries using web search logs an...
175
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
170
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Grid jobs often consist of a large number of tasks. If the performance of a statically scheduled grid job is unsatisfactory, one must decide which code of which task should be imp...
169
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...