Sciweavers

2635 search results - page 225 / 527
» Computing multihomogeneous resultants using straight-line pr...
Sort
View
FPL
2007
Springer
94views Hardware» more  FPL 2007»
15 years 6 months ago
A Many-core Implementation based on the Reconfigurable Mesh Model
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
Heiner Giefers, Marco Platzner
90
Voted
ICFP
2006
ACM
16 years 20 days ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
107
Voted
PLDI
1998
ACM
15 years 5 months ago
Run-time Code Generation and Modal-ML
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
Philip Wickline, Peter Lee, Frank Pfenning
ICPR
2000
IEEE
16 years 1 months ago
Glasses Detection and Extraction by Deformable Contour
To achieve a face recognition system robust to the presence of glasses, we have developped a glasses detection and extraction algorithm. Detection is realized using edge informati...
Zhong Jing, Robert Mariani
100
Voted
ACG
2009
Springer
15 years 7 months ago
Evaluation Function Based Monte-Carlo LOA
Recently, Monte-Carlo Tree Search (MCTS) has advanced the field of computer Go substantially. In the game of Lines of Action (LOA), which has been dominated in the past by αβ, M...
Mark H. M. Winands, Yngvi Björnsson