1414 search results - page 30 / 283 » Combining Intruder Theories |
TEC
2002
13 years 9 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...
ECIR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a framework that assesses relevance with respect to several relevance criteria, by combining the query-dependent and query-independent evidence indicating thes...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Two mathematical and two computational theories from the field of human and animal learning are combined to produce a more general theory of adaptive behavior. The cornerstone of ...
CADE
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...