777 search results - page 55 / 156 » presence 2010 |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
111
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Fast and accurate Carrier Frequency Offset (CFO) estimation is a problem of significance in many multi-carrier modulation based systems, especially in uplink Orthogonal Frequency D...
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Quantization, defined as the act of attributing a finite number of grey-levels to an image, is an essential task in image acquisition and coding. It is also intricately linked to ...
93
Voted
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents an algorithm that detects and tracks marine vessels in video taken by a non-stationary camera installed on an untethered buoy. 1 The video is characterized by ...
109
Voted
OPODIS
2010
14 years 10 months ago
2010
Distributed Hash Tables (DHTs) enable fully distributed Peer-to-Peer network construction and maintenance with name-driven routing. There exist very few DHT approaches that conside...