8874 search results - page 235 / 1775 » A New Implementation of Automath |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
154
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Real-time tessellation methods offer the ability to upsample 3D surface meshes on the fly during rendering. This upsampling relies on 3 major steps. First, it requires a tessellat...
164
click to vote
CVPR
2011
IEEE
15 years 1 days ago
2011
IEEE
We present the design and implementation of new inexact Newton type Bundle Adjustment algorithms that exploit hardware parallelism for efficiently solving large scale 3D scene re...
138
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Detecting moving objects against dynamic backgrounds remains a challenge in computer vision and robotics. This paper presents a surprisingly simple algorithm to detect ob...
163
click to vote
AMAST
2010
Springer
14 years 11 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...