9405 search results - page 452 / 1881 » Computing a Model of Set Theory |
208
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
175
click to vote
SC
1993
ACM
15 years 11 months ago
1993
ACM
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
211
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
218
click to vote
ICMLA
2009
15 years 5 months ago
2009
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
192
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...