7393 search results - page 1123 / 1479 » Synthesis-for-testability using transformations |
133
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
152
click to vote
CP
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
129
click to vote
ICCVW
1999
Springer
15 years 8 months ago
1999
Springer
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
105
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
148
Voted
VISUALIZATION
1998
IEEE
15 years 8 months ago
1998
IEEE
The key to real-time rendering of large-scale surfaces is to locally adapt surface geometric complexity to changing view parameters. Several schemes have been developed to address...