Sciweavers

16513 search results - page 437 / 3303
» Numerical Analysis Methods
Sort
View
IJCAI
2003
15 years 8 months ago
Comparing image-based localization methods
This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
Robert Sim, Gregory Dudek
SOQUA
2004
15 years 8 months ago
Test Oracles Using Statistical Methods
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
Johannes Mayer, Ralph Guderlei
180
Voted
CBMS
2007
IEEE
15 years 7 months ago
A Time-Frequency Based Method for the Detection of Epileptic Seizures in EEG Recordings
A novel three-stage method for the analysis of electroencephalographic (EEG) signals, concerning epileptic seizures, is proposed. First, segments of the EEG signals are analyzed u...
Alexandros T. Tzallas, Markos G. Tsipouras, Dimitr...
ENTCS
2006
125views more  ENTCS 2006»
15 years 6 months ago
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
Stephen T. Gilmore, Olha Shkaravska
176
Voted
AAECC
1999
Springer
82views Algorithms» more  AAECC 1999»
15 years 6 months ago
Reasoning over Networks by Symbolic Methods
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
Thomas Sturm