3119 search results - page 259 / 624 » General Default Logic |
172
click to vote
CEC
2007
IEEE
16 years 18 days 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...
179
click to vote
KI
2007
Springer
16 years 11 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...
170
click to vote
TRUSTBUS
2007
Springer
16 years 11 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...
180
click to vote
LPNMR
2005
Springer
15 years 11 months 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...
120
click to vote
TABLEAUX
2005
Springer
15 years 11 months 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 ...