8828 search results - page 1496 / 1766 » Formal methods in practice |
183
click to vote
ISMAR
2003
IEEE
16 years 6 hour ago
2003
IEEE
View management, a relatively new area of research in Augmented Reality (AR) applications, is about the spatial layout of 2D virtual annotations in the view plane. This paper repr...
210
click to vote
SMI
2003
IEEE
16 years 1 hour ago
2003
IEEE
Skeleton is a lower dimensional shape description of an object. The requirements of a skeleton differ with applications. For example, object recognition requires skeletons with pr...
170
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
267
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
171
click to vote
SLIP
2003
ACM
15 years 12 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...