Sciweavers

3641 search results - page 564 / 729
» On Computability of Pattern Recognition Problems
Sort
View
131
Voted
IPPS
2007
IEEE
15 years 8 months ago
A Heterogeneous Lightweight Multithreaded Architecture
Programs with irregular patterns of dynamic data structures and/or those with complicated control structures such as recursion are notoriously difficult to parallelize efficient...
Sheng Li, Amit Kashyap, Shannon K. Kuntz, Jay B. B...
SAT
2007
Springer
99views Hardware» more  SAT 2007»
15 years 8 months ago
Horn Upper Bounds and Renaming
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
Marina Langlois, Robert H. Sloan, György Tur&...
TLCA
2007
Springer
15 years 8 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
ISVC
2005
Springer
15 years 8 months ago
Efficient Depth Edge Detection Using Structured Light
This research features a novel approach that efficiently detects depth edges in real world scenes. Depth edges play a very important role in many computer vision problems because t...
Jiyoung Park, Cheolhwon Kim, Juneho Yi, Matthew Tu...
DIS
2004
Springer
15 years 7 months ago
Predictive Graph Mining
Abstract. Graph mining approaches are extremely popular and effective in molecular databases. The vast majority of these approaches first derive interesting, i.e. frequent, patte...
Andreas Karwath, Luc De Raedt