Sciweavers

5838 search results - page 513 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
ILP
2004
Springer
16 years 3 days ago
Learning an Approximation to Inductive Logic Programming Clause Evaluation
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
Frank DiMaio, Jude W. Shavlik
171
Voted
IPPS
2008
IEEE
16 years 1 months ago
Programmability of the HPCS Languages: A case study with a quantum chemistry kernel
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
Aniruddha G. Shet, Wael R. Elwasif, Robert J. Harr...
212
Voted
ASP
2005
Springer
16 years 9 days ago
An Interactive Approach to Answer Set Programming
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
Martin Brain, Richard Watson, Marina De Vos
EUROMICRO
1997
IEEE
15 years 11 months ago
HPO: a programming environment for object-oriented metacomputing
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
Antonio Corradi, Letizia Leonardi, Franco Zambonel...
193
Voted
ATAL
2006
Springer
15 years 10 months ago
Goal types in agent programming
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...