1941 search results - page 277 / 389 » On the Hardness of Approximate Reasoning |
153
click to vote
LICS
2006
IEEE
16 years 8 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
145
click to vote
SEFM
2006
IEEE
16 years 8 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
182
click to vote
SIGIR
2006
ACM
16 years 6 days ago
2006
ACM
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
151
click to vote
ICDM
2005
IEEE
15 years 12 months ago
2005
IEEE
There has been increasing number of independently proposed randomization methods in different stages of decision tree construction to build multiple trees. Randomized decision tre...
171
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...