Sciweavers

1175 search results - page 147 / 235
» Abstract computability and algebraic specification
Sort
View
PROCEDIA
2010
148views more  PROCEDIA 2010»
14 years 11 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman
153
Voted
MPC
2010
Springer
174views Mathematics» more  MPC 2010»
15 years 9 months ago
Matrices as Arrows!
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
Hugo Daniel Macedo, José Nuno Oliveira
ICCV
2003
IEEE
16 years 7 months ago
A New Paradigm for Recognizing 3-D Object Shapes from Range Data
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
CHI
2007
ACM
16 years 5 months ago
Supporting design studio culture in HCI
Extended Abstract: Supporting Design Studio Culture in HCI The workshop considers the needs and possibilities for integrating design studio culture within the research, education,...
Eli Blevis, Youn-Kyung Lim, Erik Stolterman, Trace...
131
Voted
RECOMB
2008
Springer
16 years 5 months ago
Ancestral Reconstruction by Asymmetric Wagner Parsimony over Continuous Characters and Squared Parsimony over Distributions
Abstract. Contemporary inferences about evolution occasionally involve analyzing infinitely large feature spaces, requiring specific algorithmic techniques. We consider parsimony a...
Miklós Csürös