Sciweavers

2962 search results - page 413 / 593
» Reasoning on Association Rules
Sort
View
ISCAS
2003
IEEE
88views Hardware» more  ISCAS 2003»
15 years 11 months ago
A small analog VLSI inner hair cell model
In this paper we present a simplified analog VLSI inner hair cell model, which models the main characteristics of the biological inner hair cell, i.e., 1) soft half-wave rectifica...
André van Schaik
ASP
2003
Springer
15 years 11 months ago
Suitable Graphs for Answer Set Programming
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
Thomas Linke
ASP
2003
Springer
15 years 11 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
ATAL
2003
Springer
15 years 11 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos
DBPL
2003
Springer
109views Database» more  DBPL 2003»
15 years 11 months ago
Modelling Dynamic Web Data
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
Philippa Gardner, Sergio Maffeis