Sciweavers

632 search results - page 69 / 127
» Specifying Algorithm Visualizations in Terms of Data Flow
Sort
View
LSSC
2005
Springer
14 years 2 months ago
Systolic Architecture for Adaptive Censoring CFAR PI Detector
A new parallel algorithm for signal processing and a parallel systolic architecture of a robust constant false alarm rate (CFAR) processor with post-detection integration and adap...
Ivan Garvanov, Christo A. Kabakchiev, Plamen Daska...
ER
2007
Springer
103views Database» more  ER 2007»
14 years 3 months ago
Ensuring the Semantic Correctness of Complex Regions
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
MIR
2010
ACM
264views Multimedia» more  MIR 2010»
14 years 3 months ago
Quest for relevant tags using local interaction networks and visual content
Typical tag recommendation systems for photos shared on social networks such as Flickr, use visual content analysis, collaborative filtering or personalization strategies to prod...
Neela Sawant, Ritendra Datta, Jia Li, James Ze Wan...
ICPR
2008
IEEE
14 years 10 months ago
Dual generative models for human motion estimation from an uncalibrated monocular camera
We propose a new approach to estimate gait kinematics from image sequences taken by a monocular uncalibrated camera. This approach involves two generative models for gait represen...
Guoliang Fan, Xin Zhang
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
14 years 2 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin