Sciweavers

3654 search results - page 654 / 731
» Narrative algorithm visualization
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 2 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
IJRR
2007
89views more  IJRR 2007»
15 years 2 months ago
Towards an Embedded Visuo-Inertial Smart Sensor
In neurological system of primates, changes in posture are detected by the central nervous system through a vestibular process. This process, located in inner ear, coordinates seve...
Pierre Chalimbaud, François Marmoiton, Fran...
IPM
2007
158views more  IPM 2007»
15 years 2 months ago
Validation and interpretation of Web users' sessions clusters
Understanding users’ navigation on the Web is important towards improving the quality of information and the speed of accessing large-scale Web data sources. Clustering of users...
George Pallis, Lefteris Angelis, Athena Vakali
TCSV
2008
157views more  TCSV 2008»
15 years 2 months ago
Semi-Fuzzy Rate Controller for Variable Bit Rate Video
A novel semi-fuzzy (SF) rate control algorithm (RCA) for variable bit rate (VBR) video applications is proposed. The proposed RCA is optimized to provide high quality compressed vi...
Mehdi Rezaei, Miska M. Hannuksela, Moncef Gabbouj
TIP
2008
205views more  TIP 2008»
15 years 2 months ago
Image Denoising Using Derotated Complex Wavelet Coefficients
A method for removing additive Gaussian noise from digital images is described. It is based on statistical modeling of the coefficients of a redundant, oriented, complex multiscale...
Mark Miller, Nick G. Kingsbury