Sciweavers

7890 search results - page 190 / 1578
» The MathSAT 3 System
Sort
View
142
Voted
IPL
2007
79views more  IPL 2007»
15 years 6 months ago
Uniform metrical task systems with a limited number of states
We give a randomized algorithm (the ”Wedge Algorithm”) of competitiveness 3 2 Hk − 1 2k for any metrical task system on a uniform space of k points, for any k ≥ 2, where H...
Wolfgang W. Bein, Lawrence L. Larmore, John Noga
MVA
2002
15 years 5 months ago
A System for Locating License-plate Area from Images Taken under Complex Conditions
In this paper, an efficient edge-based approach, including implementation of a hardware system, for locating car license plate area from images taken under relatively complex cond...
Sunghoon Kim, Changsub Park, Gyeonghwan Kim
IJBC
2008
70views more  IJBC 2008»
15 years 5 months ago
Branched Manifolds, knotted Surfaces and Dynamical Systems
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...
W. Chen, Stephen P. Banks
SCP
2011
197views Communications» more  SCP 2011»
15 years 1 months ago
A state/event-based model-checking approach for the analysis of abstract system properties
system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
ICASSP
2011
IEEE
14 years 9 months ago
Continuous pilot based adaptive estimation for IDMA systems on underwater acoustic channels
Two adaptive receivers for jointly detecting active users in an interleave division multiple access (IDMA) system are considered for highly dispersive underwater acoustic channels...
Salah Aliesawi, Charalampos C. Tsimenidis, Bayan S...