9067 search results - page 677 / 1814 » Adaptive Model Checking |
197
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
— Process variations and temperature variations can cause both the frequency and the leakage of the chip to vary significantly from their expected values, thereby decreasing the...
190
click to vote
CIMCA
2005
IEEE
16 years 1 months ago
2005
IEEE
We present some proposals to approximately solve a period vehicle routing problem used to model the extraction of oil from a set of onshore oil wells in Brazil. This problem diffe...
166
click to vote
PKDD
2005
Springer
16 years 28 days ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
185
click to vote
DAGM
2004
Springer
16 years 25 days ago
2004
Springer
Most image segmentation algorithms optimize some mathematical similarity criterion derived from several low-level image features. One possible way of combining different types of f...
172
click to vote
ICCHP
2004
Springer
16 years 25 days ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...