3575 search results - page 173 / 715 » Presentations of computably enumerable reals |
183
click to vote
TRIDENTCOM
2005
IEEE
16 years 21 days ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
161
click to vote
TAMC
2007
Springer
16 years 1 months ago
2007
Springer
We say that A ≤LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real γ, oracle B can also find patterns on ...
209
click to vote
ISMAR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a method for generating a texture for hiding a marker in augmented reality applications. The texture is generated by interpolating the neighbourhood of t...
192
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
There are emerging interests from both computer vision and computer graphics communities in obtaining photorealistic modeling of a scene or an object from real images. This paper p...
220
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...