Sciweavers

250 search results - page 20 / 50
» An overview of bilevel optimization
Sort
View
AMAI
2007
Springer
13 years 7 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
DEBU
2008
156views more  DEBU 2008»
13 years 7 months ago
Towards Automatic Test Database Generation
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...
Carsten Binnig, Donald Kossmann, Eric Lo
IJVR
2006
113views more  IJVR 2006»
13 years 7 months ago
The Virtual Human Platform: Simplifying the Use of Virtual Characters
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...
Christian Knöpfle, Yvonne Jung
CIARP
2009
Springer
14 years 2 months ago
3D and Appearance Modeling from Images
This paper gives an overview of works done in our group on 3D and appearance modeling of objects, from images. The backbone of our approach is to use what we consider as the princi...
Peter F. Sturm, Amaël Delaunoy, Pau Gargallo,...
VR
2000
IEEE
174views Virtual Reality» more  VR 2000»
13 years 12 months ago
Optimization-Based Virtual Surface Contact Manipulation at Force Control Rates
Previous interactive works have used springs, heuristics, and dynamics for surface placement applications. We present an analytical technique for kilohertz rate manipulation of CA...
Donald D. Nelson, Elaine Cohen