3119 search results - page 259 / 624 » General Default Logic |
180
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a new method to generalize strategies in order to control parameters of Evolutionary Algorithms (EAs). A learning process establishes the relationship betwe...
197
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
182
Voted
TRUSTBUS
2007
Springer
16 years 28 days ago
2007
Springer
Usage control governs the handling of sensitive data after it has been given away. The enforcement of usage control requirements is a challenge because the service requester in gen...
190
click to vote
LPNMR
2005
Springer
16 years 9 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
130
click to vote
TABLEAUX
2005
Springer
16 years 8 days ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...