Sciweavers

2797 search results - page 345 / 560
» Control Structures
Sort
View
ICCVW
1999
Springer
15 years 8 months ago
Bundle Adjustment - A Modern Synthesis
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...
Bill Triggs, Philip F. McLauchlan, Richard I. Hart...
HT
1998
ACM
15 years 8 months ago
Fluid Links for Informed and Incremental Link Transitions
We have developed a novel user interface technique for hypertext, called fluid links, that has several advantages over current methods. Fluid links provide additional information ...
Polle Zellweger, Bay-Wei Chang, Jock D. Mackinlay
PLDI
1998
ACM
15 years 8 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen
VRML
1998
ACM
15 years 8 months ago
Event Processing for Complicated Routes in VRML 2.0
VRML 2.0 allows a content creator to dynamically control state changes in a virtual reality world by defining routes of events over VRML 2.0 nodes. In the conceptual execution mod...
Masaaki Taniguchi
DAC
1997
ACM
15 years 8 months ago
Equivalence Checking Using Cuts and Heaps
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
Andreas Kuehlmann, Florian Krohm