Sciweavers

6042 search results - page 1079 / 1209
» Repeated Observation Models
Sort
View
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 12 months ago
Hide-and-Seek with Directional Sensing
: We consider a game played between a hider, who hides a static object in one of several possible positions in a bounded planar region, and a searcher who wishes to reach the objec...
Alessandro Borri, Shaunak Dattaprasad Bopardikar, ...
155
Voted
NFM
2011
252views Formal Methods» more  NFM 2011»
14 years 12 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
PRL
2011
14 years 12 months ago
A sparse version of the ridge logistic regression for large-scale text categorization
The ridge logistic regression has successfully been used in text categorization problems and it has been shown to reach the same performance as the Support Vector Machine but with...
Sujeevan Aseervatham, Anestis Antoniadis, É...
IGARSS
2010
14 years 11 months ago
Calibrating probabilities for hyperspectral classification of rock types
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
Sildomar T. Monteiro, Richard J. Murphy
INTERSPEECH
2010
14 years 11 months ago
SAFE: a statistical algorithm for F0 estimation for both clean and noisy speech
A novel Statistical Approach for F0 Estimation, SAFE, is proposed to improve the accuracy of F0 tracking under both clean and additive noise conditions. Prominent Signal-to-Noise ...
Wei Chu, Abeer Alwan
« Prev « First page 1079 / 1209 Last » Next »