211 search results - page 41 / 43 » The Representation of Program Synthesis in Higher Order Logi... |
150
click to vote
IEAAIE
1998
Springer
15 years 9 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
169
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
135
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
144
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Traditional storage systems provide a simple read/write interface, which is inadequate for low-locality update-intensive workloads because it limits the disk scheduling flexibili...
157
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: The investigation of plant genome structure and evolution requires comprehensive characterization of repetitive sequences that make up the majority of higher plant nuc...