Sciweavers

236 search results - page 9 / 48
» Handlers of Algebraic Effects
Sort
View
89
Voted
ECCV
2010
Springer
15 years 1 months ago
Towards More Efficient and Effective LP-based algorithms for MRF Optimization
This paper proposes a framework that provides significant speed-ups and also improves the effectiveness of general message passing algorithms based on dual LP relaxations. It is ap...
IPSN
2005
Springer
15 years 5 months ago
Building up to macroprogramming: an intermediate language for sensor networks
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
Ryan Newton, Arvind, Matt Welsh
IEE
2008
117views more  IEE 2008»
14 years 11 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
ITS
2004
Springer
104views Multimedia» more  ITS 2004»
15 years 5 months ago
Student Question-Asking Patterns in an Intelligent Algebra Tutor
Cognitive Tutors are proven effective learning environments, but are still not as effective as one-on-one human tutoring. We describe an environment (ALPS) designed to engage stude...
Lisa Anthony, Albert T. Corbett, Angela Z. Wagner,...
SIAMSC
2008
142views more  SIAMSC 2008»
14 years 10 months ago
Algebraic Multigrid Solvers for Complex-Valued Matrices
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
Scott MacLachlan, Cornelis W. Oosterlee