Sciweavers

500 search results - page 54 / 100
» Coalgebraic semantics for timed processes
Sort
View
IJCAI
2007
13 years 11 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 10 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
GPCE
2007
Springer
14 years 4 months ago
Aspects of availability
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
Pascal Fradet, Stéphane Hong Tuan Ha
EUROCAST
2005
Springer
133views Hardware» more  EUROCAST 2005»
14 years 3 months ago
An Iterative Method for Mining Frequent Temporal Patterns
The incorporation of temporal semantic into the traditional data mining techniques has caused the creation of a new area called Temporal Data Mining. This incorporation is especial...
Francisco Guil, Antonio B. Bailón, Alfonso ...
SEMCO
2007
IEEE
14 years 4 months ago
Eventory -- An Event Based Media Repository
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...
Xiang-jun Wang, Swathi Mamadgi, Atit Thekdi, Aisli...