1511 search results - page 99 / 303 » Relational Parametricity for Computational Effects |
128
click to vote
IDA
2005
Springer
15 years 10 months ago
2005
Springer
—A simple yet effective unsupervised classification rule to discriminate between normal and abnormal data is based on accepting test objects whose nearest neighbors’ distances ...
125
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
The design of hash functions by means of evolutionary computation is a relatively new and unexplored problem. In this work, we use Genetic Programming (GP) to evolve robust and fa...
151
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
—Consumer electronics and mobile devices intended for pervasive applications are often subject to shaking that makes their screen difficult to read. To address this usability cha...
166
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...
130
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...