Sciweavers

11752 search results - page 68 / 2351
» Those
Sort
View
FP
1991
95views Formal Methods» more  FP 1991»
15 years 1 months ago
Making Functionality More General
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...
Graham Hutton, Ed Voermans
CDC
2009
IEEE
155views Control Systems» more  CDC 2009»
15 years 1 months ago
The method of controlled Lagrangians: Energy plus force shaping
— We present our recent results on the method of controlled Lagrangians in order to stabilize mechanical systems by shaping both energy and external forces. Various easily veriï¬...
Dong Eui Chang
BMVC
2001
15 years 3 days ago
Tracking Mammographic Structures Over Time
A method to correspond linear structures in mammographic images is presented. Our approach is based on automatically establishing correspondence between linear structures which ap...
Robert Marti, Reyer Zwiggelaar, Caroline M. E. Rub...
61
Voted
AAAI
2007
15 years 21 hour ago
KSU Willie in Semantic Vision Challenge
The KSU Willie entry in the Semantic Vision Challenge will use a variety of classifiers, some standard classifiers and some newly developed classifiers, to learn the classificatio...
David Gustafson, Aaron Chavez, Michael Marlen, And...
WSC
2008
15 years 18 hour ago
The mathematics of continuous-variable simulation optimization
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...
Sujin Kim, Shane G. Henderson