4814 search results - page 645 / 963 » Combining abstract interpreters |
235
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
174
click to vote
PVLDB
2008
15 years 3 months ago
2008
Ad-hoc data processing has proven to be a critical paradigm for Internet companies processing large volumes of unstructured data. However, the emergence of cloud-based computing, ...
121
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
146
click to vote
MDAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Most existing data mining (DM) approaches look for patterns in a single table. Multi-relational DM approaches, on the other hand, look for patterns that involve multiple ...
140
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Folksonomies are becoming increasingly popular. They contain large amounts of data which can be mined and utilized for many tasks like visualization, browsing, informatio...