Sciweavers

3238 search results - page 461 / 648
» Not Enough Points Is Enough
Sort
View
FAC
2000
94views more  FAC 2000»
13 years 10 months ago
Maximally Concurrent Programs
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
Rajeev Joshi, Jayadev Misra
HEURISTICS
2000
90views more  HEURISTICS 2000»
13 years 10 months ago
Tabu Search for a Network Loading Problem with Multiple Facilities
This paper examines a network design problem that arises in the telecommunications industry. In this problem, communication between a gateway vertex and a number of demand vertice...
David Berger, Bernard Gendron, Jean-Yves Potvin, S...
IJCV
2000
121views more  IJCV 2000»
13 years 10 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
INFSOF
2000
68views more  INFSOF 2000»
13 years 10 months ago
An extensible platform for the development of synchronous groupware
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...
G. Licea, Jesús Favela
INFSOF
2000
120views more  INFSOF 2000»
13 years 10 months ago
Cognitive support, UML adherence, and XMI interchange in Argo/UML
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
Jason E. Robbins, David F. Redmiles