1456 search results - page 232 / 292 » Two Techniques to Improve Finite Model Search |
WDAG
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to ...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Content-based retrieval of spatio-temporal patterns from human motion databases is inherently nontrivial since finding effective distance measures for such data is difficult. These...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Many on-line photo sharing systems allow users to tag their images so as to support semantic image search. In this paper, we study how one can take advantages of the already-tagge...