Sciweavers

941 search results - page 145 / 189
» The Second Order Particle System
Sort
View
IPM
2008
88views more  IPM 2008»
13 years 11 months ago
Remembering William Goffman: Mathematical information science pioneer
This paper reviews the career and legacy of William (Bill) Goffman, who served as a researcher, Professor, Dean and Emeritus at Case Western Reserve University, Cleveland, Ohio, f...
Glynn Harmon
IJCV
2006
227views more  IJCV 2006»
13 years 11 months ago
A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
Andrés Bruhn, Joachim Weickert, Timo Kohlbe...
JFP
2008
109views more  JFP 2008»
13 years 11 months ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
JUCS
2008
132views more  JUCS 2008»
13 years 11 months ago
Testing Website Usability in Spanish-Speaking Academia through Heuristic Evaluation and Cognitive Walkthroughs
: Although usability evaluations have been focused on assessing different contexts of use, no proper specifications have been addressed towards the particular environment of academ...
María Paula González, Toni Granoller...
SIAMSC
2008
147views more  SIAMSC 2008»
13 years 11 months ago
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
Michael P. Friedlander, Sven Leyffer