Sciweavers

10406 search results - page 357 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
IJCAI
2007
15 years 6 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...
ITRE
2006
IEEE
15 years 10 months ago
A Knowledge Building Community Constructing a Knowledge Model Using Online Concept Maps
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...
Moshe Leiba, Rafi Nachmias
JLP
2006
56views more  JLP 2006»
15 years 4 months ago
Linearization of hybrid processes
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
P. C. W. den Brand van, Michel A. Reniers, Pieter ...
HT
2009
ACM
15 years 11 months ago
Using a thematic model to enrich photo montages
Narrative systems attempt to present users with media collections that include some element of structure or story, however these collections can lack an authorial voice and seem b...
Charlie Hargood, David E. Millard, Mark J. Weal
DAGM
1999
Springer
15 years 9 months ago
A Total Least Squares Framework for Low-Level Analysis of Dynamic Scenes and Processes
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
Horst W. Haussecker, Christoph S. Garbe, Hagen Spi...