2766 search results - page 157 / 554 » Hybridizing a Logical Framework |
191
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we present a semi-automated method for converting conventional 2D images to stereoscopic 3D. User-defined strokes that correspond to a rough estimate of the depth ...
120
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we show a novel middleware approach for pervasise applications that communicate via an XMLbased distributed virtual shared information space. This approach extends s...
118
click to vote
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
163
click to vote
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
133
click to vote
SEBD
2008
15 years 5 months ago
2008
We propose a logical framework for set preferences. Candidate sets are represented using profiles consisting of scalar features. This reduces set preferences to tuple preferences o...