Sciweavers

4581 search results - page 577 / 917
» Computing Transformation Semigroups
Sort
View
ENTCS
2010
72views more  ENTCS 2010»
15 years 4 months ago
View-Augmented Abstractions
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
Matt Elder, Denis Gopan, Thomas W. Reps
ICIP
2010
IEEE
15 years 4 months ago
Natural DCT statistics approach to no-reference image quality assessment
General-purpose no-reference image quality assessment approaches still lag the advances in full-reference methods. Most no-reference methods are either distortion specific (i.e. t...
Michele A. Saad, Alan C. Bovik, Christophe Charrie...
IJACTAICIT
2010
213views more  IJACTAICIT 2010»
15 years 4 months ago
Classification of Cardiac Arrhythmias using Biorthogonal Wavelets and Support Vector Machines
The classification of Electrocardiogram (ECG) is critical for diagnosis and treatment of patients with heart disorders. We present a technique for automatic the detection and clas...
Berdakh Abibullaev, Won-Seok Kang, Seung-Hyun Lee,...
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Optimal UAV coordination for target tracking using dynamic programming
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...
CORR
2011
Springer
169views Education» more  CORR 2011»
15 years 1 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni