Sciweavers

3823 search results - page 308 / 765
» Experiments with Random Projection
Sort
View
SIGCSE
2002
ACM
131views Education» more  SIGCSE 2002»
15 years 4 months ago
Integrating a simulation case study into CS2: developing design, empirical and analysis skills
Case studies are widely used in business and medicine to help students learn from the successes and failures of practitioners in the field. This paper discusses the potential bene...
Kay A. Robbins, Catherine Sauls Key, Keith Dickins...
ICRA
2010
IEEE
135views Robotics» more  ICRA 2010»
15 years 3 months ago
Using multiple hypothesis in model-based tracking
— Classic registration methods for model-based tracking try to align the projected edges of a 3D model with the edges of the image. However, wrong matches at low level can make t...
Céline Teuliere, Éric Marchand, Laur...
LPAR
2010
Springer
15 years 3 months ago
Aligators for Arrays (Tool Paper)
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
OTM
2010
Springer
15 years 3 months ago
Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
Mark Strembeck, Jan Mendling
SIAMSC
2010
231views more  SIAMSC 2010»
15 years 3 months ago
Optimal Control of Parameter-Dependent Convection-Diffusion Problems around Rigid Bodies
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...
Timo Tonn, Karsten Urban, Stefan Volkwein