3616 search results - page 564 / 724 » Conditional Memory Ordering |
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
101
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
137
click to vote
AOSD
2004
ACM
15 years 8 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
108
Voted
COMPGEOM
2004
ACM
15 years 8 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
98
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
In this work we propose a parallel algorithm for the efficient extraction of binding-site consensus from genomic sequences. This algorithm, based on an existing approach, extracts...