7393 search results - page 1123 / 1479 » Synthesis-for-testability using transformations |
157
Voted
INFOCOM
1999
IEEE
15 years 11 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...
194
click to vote
CP
1999
Springer
15 years 11 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...
167
click to vote
ICCVW
1999
Springer
15 years 11 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...
134
click to vote
ICLP
1999
Springer
15 years 11 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...
173
click to vote
VISUALIZATION
1998
IEEE
15 years 11 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...