6020 search results - page 120 / 1204 » A New Approach to Model Counting |
130
Voted
CIE
2008
Springer
15 years 4 months ago
2008
Springer
The adoption of digital television (DTV) could be particularly attractive for older people if appropriately designed. Despite this, when new services and applicat...
158
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
133
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...
164
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
128
click to vote
NN
2008
Springer
15 years 3 months ago
2008
Springer
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...