Sciweavers

4480 search results - page 77 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
127
Voted
ICCV
2003
IEEE
15 years 8 months ago
Paracatadioptric Camera Calibration Using Lines
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...
João P. Barreto, Helder Araújo
COLCOM
2005
IEEE
15 years 9 months ago
Maintaining multi-way dataflow constraints in collaborative systems
Multi-way dataflow constraints are very useful in the development of collaborative applications, such as collaborative CAD and CASE systems, but satisfying multi-way dataflow cons...
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng S...
122
Voted
AICT
2006
IEEE
101views Communications» more  AICT 2006»
15 years 9 months ago
Erasure Codes for Increasing the Availability of Grid Data Storage
In this paper, we describe the design of a highlyavailable Grid data storage system. Increased availability is ensured by data redundancy and file striping. Redundant data is com...
Mikko Pitkänen, Rim Moussa, D. Martin Swany, ...
99
Voted
SAC
2009
ACM
15 years 10 months ago
Body-and-cad geometric constraint systems
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, ...
128
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 4 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...