Sciweavers

4854 search results - page 673 / 971
» It's the Programming, Stupid
Sort
View
SIAMNUM
2010
126views more  SIAMNUM 2010»
15 years 1 months ago
Smoothing under Diffeomorphic Constraints with Homeomorphic Splines
In this paper we introduce a new class of diffeomorphic smoothers based on general spline smoothing techniques and on the use of some tools that have been recently developed in th...
Jérémie Bigot, Sébastien Gada...
HPCA
2011
IEEE
14 years 10 months ago
Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
Mojtaba Mehrara, Po-Chun Hsu, Mehrzad Samadi, Scot...
AMW
2011
14 years 10 months ago
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
Mingmin Chen, Todd J. Green
IGPL
2011
14 years 10 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
CANDC
2011
ACM
14 years 6 months ago
Perception, insight, and creativity in paradigm, a game of pattern exploration
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
William W. York, David C. Bender