Sciweavers

7066 search results - page 1147 / 1414
» Contact Relations with Applications
Sort
View
IJCV
2000
121views more  IJCV 2000»
15 years 7 months ago
Regularized Bundle-Adjustment to Model Heads from Image Sequences without Calibration Data
We address the structure-from-motionproblem in the context of head modeling from video sequences for which calibration data is not available. This task is made challenging by the ...
Pascal Fua
178
Voted
INFORMS
2000
54views more  INFORMS 2000»
15 years 7 months ago
Time-Indexed Formulations for Machine Scheduling Problems: Column Generation
Time-indexed formulations for machine scheduling problems have received a great deal of attention; not only do the linear programming relaxations provide strong lower bounds, but ...
Marjan van den Akker, Cor A. J. Hurkens, Martin W....
177
Voted
ENTCS
2002
101views more  ENTCS 2002»
15 years 7 months ago
Hypergeometric Functions in Exact Geometric Computation
Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
Zilin Du, Maria Eleftheriou, José E. Moreir...
202
Voted
ENTCS
2002
145views more  ENTCS 2002»
15 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
ENVSOFT
2002
187views more  ENVSOFT 2002»
15 years 7 months ago
AVTOP: a full integration of TOPMODEL into GIS
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
Bo Huang, Bin Jiang
« Prev « First page 1147 / 1414 Last » Next »