2149 search results - page 148 / 430 » Form over Substance |
191
click to vote
IGPL
2010
15 years 4 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
129
click to vote
IJON
2010
15 years 4 months ago
2010
This paper presents varifold learning, a learning framework based on the mathematical concept of varifolds. Different from manifold based methods, our varifold learning framework ...
172
click to vote
IJRR
2010
15 years 4 months ago
2010
The approach investigated in this work employs three-dimensional LADAR measurements to detect and track pedestrians over time. The sensor is employed on a moving vehicle. The algo...
143
Voted
PAIRING
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we propose a very simple and efficient encoding function from Fq to points of a hyperelliptic curve over Fq of the form H : y2 = f(x) where f is an odd polynomial. Hy...
160
click to vote
SAMOS
2010
Springer
15 years 4 months ago
2010
Springer
—High-level simulation and design space exploration nowadays are key ingredients for system-level design of modern multimedia embedded systems. The majority of the work in this a...