4209 search results - page 195 / 842 » Abstract Dialectical Frameworks |
155
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The visual systems in primates are organized around orienith a rich set of long-range horizontal connections. We abstract this from a differential-geometric perspective, ...
149
click to vote
JSYML
2002
15 years 6 months ago
2002
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
147
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
216
click to vote
AH
2008
Springer
16 years 25 days ago
2008
Springer
Abstract. In this paper we present a rule-based personalization framework for encapsulating and combining personalization algorithms known from adaptive hypermedia and recommender ...
158
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...