Sciweavers

2444 search results - page 256 / 489
» Feature Construction for Back-Propagation
Sort
View
AMAI
2006
Springer
15 years 6 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
ENTCS
2008
131views more  ENTCS 2008»
15 years 6 months ago
Connector Rewriting with High-Level Replacement Systems
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
Christian Koehler, Alexander Lazovik, Farhad Arbab
EOR
2008
69views more  EOR 2008»
15 years 6 months ago
Coordinating the supply chain in the agricultural seed industry
This paper examines contract practices between suppliers and retailers in the agricultural seed industry. We construct and analyze single-retailer models of various contract types...
Samuel Burer, Philip C. Jones, Timothy J. Lowe
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Model Checking Linear Programs with Arrays
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
Alessandro Armando, Massimo Benerecetti, Jacopo Ma...
IJET
2008
108views more  IJET 2008»
15 years 6 months ago
The Place Metaphor in 3D CVEs: a Pedagogical Case Study of the Virtual Stage
This paper outlines a pedagogically-oriented case study of the use of a 3D collaborative virtual environment (3D CVE) to break down barriers between partners from different cultura...
Ekaterina Prasolova-Førland, Theodor G. Wye...