1332 search results - page 100 / 267 » ideas 2008 |
USS
2008
15 years 2 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
100
click to vote
WSC
2008
15 years 2 months ago
2008
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...
116
click to vote
AIRWEB
2008
Springer
15 years 1 months ago
2008
Springer
Every day millions of users search for information on the web via search engines, and provide implicit feedback to the results shown for their queries by clicking or not onto them...
194
click to vote
AISB
2008
Springer
15 years 1 months ago
2008
Springer
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
118
click to vote
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...