1496 search results - page 168 / 300 » Definability of Initial Segments |
156
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
144
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
149
click to vote
PR
2008
15 years 5 months ago
2008
The computation of a shape's orientation is a common task in the area of computer vision and image processing, being used for example to define a local frame of reference and...
149
Voted
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Recently, many global stereo methods have achieved good results by modeling a disparity surface as a Markov random field (MRF) and by solving an optimization problem with various ...
126
Voted
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper details a new modular approach to virtual view creation that is designed to work in conjunction with a proposed scalable teleconferencing configuration. This scalable s...