Sciweavers

2542 search results - page 321 / 509
» An Operational Definition of Context
Sort
View
JUCS
2008
170views more  JUCS 2008»
15 years 6 months ago
Intelligent Resource Exchanges: Solutions and Pathways in a Workforce Allocation Problem
: This paper considers the problem of resource allocation in the service industries approached from an agent-based perspective. Agent technologies seem to be well suited to this do...
Botond Virginas, Marian Florin Ursu, Edward P. K. ...
ENTCS
2007
102views more  ENTCS 2007»
15 years 6 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka
NN
2006
Springer
15 years 6 months ago
The misbehavior of value and the discipline of the will
Most reinforcement learning models of animal conditioning operate under the convenient, though fictive, assumption that Pavlovian conditioning concerns prediction learning whereas...
Peter Dayan, Yael Niv, Ben Seymour, Nathaniel D. D...
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 6 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
CAI
2004
Springer
15 years 6 months ago
On the Use of the Choquet Integral for the Collaborative Creation of Learning Objects
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
Juan Manuel Dodero, Miguel-Ángel Sicilia, C...