Sciweavers

1306 search results - page 8 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
IJCNN
2007
IEEE
15 years 10 months ago
Encoding Complete Body Models Enables Task Dependent Optimal Behavior
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
Oliver Herbort, Martin V. Butz
138
Voted
FASE
2010
Springer
15 years 11 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
121
Voted
CVPR
2005
IEEE
16 years 6 months ago
Towards Complete Generic Camera Calibration
We consider the problem of calibrating a highly generic imaging model, that consists of a non-parametric association of a projection ray in 3D to every pixel in an image. Previous...
Srikumar Ramalingam, Peter F. Sturm, Suresh K. Lod...
CG
2011
Springer
14 years 11 months ago
Multiresolutions numerically from subdivisions
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...
Richard H. Bartels, Faramarz Samavati
SOSYM
2002
66views more  SOSYM 2002»
15 years 4 months ago
Consistent specification of interface suites in UML
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper...