Sciweavers

16626 search results - page 3303 / 3326
» Computing is a natural science
Sort
View
JSA
2008
108views more  JSA 2008»
15 years 1 months ago
A methodology to design arbitrary failure detectors for distributed protocols
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (...
Roberto Baldoni, Jean-Michel Hélary, Sara T...
ENTCS
2007
108views more  ENTCS 2007»
15 years 1 months ago
Generating Java Compiler Optimizers Using Bidirectional CTL
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
Ling Fang, Masataka Sassa
FUIN
2007
114views more  FUIN 2007»
15 years 1 months ago
Cellular Devices and Unary Languages
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
Andreas Klein, Martin Kutrib
PAMI
2008
161views more  PAMI 2008»
15 years 1 months ago
TRUST-TECH-Based Expectation Maximization for Learning Finite Mixture Models
The Expectation Maximization (EM) algorithm is widely used for learning finite mixture models despite its greedy nature. Most popular model-based clustering techniques might yield...
Chandan K. Reddy, Hsiao-Dong Chiang, Bala Rajaratn...
PR
2008
117views more  PR 2008»
15 years 1 months ago
A scale-free distribution of false positives for a large class of audio similarity measures
The "bag-of-frames" approach (BOF) to audio pattern recognition models signals as the long-term statistical distribution of their local spectral features, a prototypical...
Jean-Julien Aucouturier, François Pachet
« Prev « First page 3303 / 3326 Last » Next »