Sciweavers

648 search results - page 49 / 130
» Using Criticalities as a Heuristic for Answer Set Programmin...
Sort
View
MP
2007
91views more  MP 2007»
15 years 28 days ago
Set Intersection Theorems and Existence of Optimal Solutions
The question of nonemptiness of the intersection of a nested sequence of closed sets is fundamental in a number of important optimization topics, including the existence of optima...
Dimitri P. Bertsekas, Paul Tseng
DALT
2006
Springer
15 years 5 months ago
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
Vivek Nigam, João Leite
DEXA
1994
Springer
92views Database» more  DEXA 1994»
15 years 5 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
CEC
2010
IEEE
14 years 11 months ago
A grammar based Ant Programming algorithm for mining classification rules
This paper focuses on the application of a new ACO-based automatic programming algorithm to the classification task of data mining. This new model, called GBAP algorithm, is based ...
Juan Luis Olmo, José Raúl Romero, Se...
TPDS
1998
124views more  TPDS 1998»
15 years 1 months ago
Using Recorded Values for Bounding the Minimum Completion Time in Multiprocessors
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
Lars Lundberg, Håkan Lennerstad