205 search results - page 22 / 41 » Engineering Planar Separator Algorithms |
ENDM
2010
14 years 6 months ago
2010
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
CAD
2008
Springer
14 years 9 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Web image search using text queries has received considerable attention. However, current state-of-the-art approaches require training models for every new query, and are therefore...