Sciweavers

1285 search results - page 32 / 257
» Information systems revisited - the general continuous case
Sort
View
IDA
2010
Springer
15 years 13 days ago
GA-stacking: Evolutionary stacked generalization
Stacking is a widely used technique for combining classifiers and improving prediction accuracy. Early research in Stacking showed that selecting the right classifiers, their par...
Agapito Ledezma, Ricardo Aler, Araceli Sanch&iacut...
ICTAC
2010
Springer
15 years 13 days ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
CADE
2011
Springer
14 years 1 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
INLG
2004
Springer
15 years 7 months ago
Finetuning NLG Through Experiments with Human Subjects: The Case of Vague Descriptions
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...
Kees van Deemter
HYBRID
2004
Springer
15 years 7 months ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...