Sciweavers

4761 search results - page 539 / 953
» Generalizing Boundary Points
Sort
View
PROFES
2001
Springer
15 years 11 months ago
Requirements Evolution from Process to Product Oriented Management
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
Stuart Anderson, Massimo Felici
181
Voted
IPPS
2000
IEEE
15 years 11 months ago
Declarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
Rafael Ramirez, Andrew E. Santosa
CVPR
1999
IEEE
15 years 11 months ago
Efficient Iterative Solution to M-View Projective Reconstruction Problem
We propose an efficient solution to the general M-view projective reconstruction problem, using matrix factorization and iterative least squares. The method can accept input with ...
Qian Chen, Gérard G. Medioni
FOCS
1999
IEEE
15 years 11 months ago
Taking a Walk in a Planar Arrangement
We present a randomized algorithm for computing portions of an arrangement of n arcs in the plane, each pair of which intersect in at most t points. We use this algorithm to perfo...
Sariel Har-Peled
149
Voted
HICSS
1999
IEEE
82views Biometrics» more  HICSS 1999»
15 years 11 months ago
On the Spanning Hypothesis for EDI Semantics
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
Steven O. Kimbrough, Scott A. Moore