3082 search results - page 510 / 617 » Deviation Analysis: A New Use of Model Checking |
173
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
A novel source localization approach using acoustic energy measurements from the individual sensors in the sensor field is presented. This new approach is based on the acoustic en...
156
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
—Biasing properly the hypothesis space of a learner has been shown to improve generalization performance. Methods for achieving this goal have been proposed, that range from desi...
156
click to vote
NIPS
2003
15 years 7 months ago
2003
A recent area of significant progress in speaker recognition is the use of high level features—idiolect, phonetic relations, prosody, discourse structure, etc. A speaker not on...
210
click to vote
SIAMCOMP
2012
13 years 8 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
170
click to vote
EDBTW
2010
Springer
15 years 9 months ago
2010
Springer
Business Intelligence (BI) applications allow their users to query, understand, and analyze existing data within their organizations in order to acquire useful knowledge, thus mak...