4480 search results - page 248 / 896 » Prototyping Completion with Constraints Using Computational ... |
157
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
180
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
151
click to vote
TABLETOP
2008
IEEE
16 years 27 days ago
2008
IEEE
The WeSpace is a long-term project dedicated to the creation of environments supporting walkup and share collaboration among small groups. The focus of our system design has been ...
195
click to vote
CGF
2008
15 years 6 months ago
2008
Currently 3D animation rendering and video compression are completely independent processes even if rendered frames are streamed on-the-fly within a client-server platform. In suc...
172
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add...