3575 search results - page 173 / 715 » Presentations of computably enumerable reals |
164
click to vote
TRIDENTCOM
2005
IEEE
16 years 3 hour 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...
147
click to vote
TAMC
2007
Springer
16 years 16 days 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 ...
175
click to vote
ISMAR
2006
IEEE
16 years 13 days 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...
169
click to vote
ACCV
1998
Springer
15 years 10 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...
206
click to vote
SPIN
2012
Springer
13 years 8 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...