3082 search results - page 321 / 617 » Deviation Analysis: A New Use of Model Checking |
175
click to vote
NIPS
2007
15 years 8 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (âˆ...
199
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
165
click to vote
WSC
1998
15 years 8 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...
209
click to vote
TNN
2011
15 years 1 months ago
2011
Domain adaptation solves a learning problem in a target domain by utilizing the training data in a different but related source domain. Intuitively, discovering a good feature rep...
193
click to vote
TCAD
2002
15 years 6 months ago
2002
The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...