1310 search results - page 92 / 262 » Progressive Optimization in Action |
101
click to vote
DSRT
1998
IEEE
15 years 8 months ago
1998
IEEE
Internet-based virtual environments (VEs) let users explore multiple virtual worlds with many different geometric models which are downloaded rather than predistributed. To avoid ...
111
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...
141
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Piecewise-linear methods accomplish the registration by dividing the images in corresponding triangular patches, which are individually mapped through affine transformati...
104
click to vote
AIED
2007
Springer
15 years 8 months ago
2007
Springer
Complex student models often include key parameters critical to their behavior and effectiveness. For example, one meta-cognitive model of student help-seeking in intelligent tutor...
141
click to vote
IPCO
2008
15 years 6 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...