Sciweavers

2373 search results - page 312 / 475
» Modelling Facial Behaviours
Sort
View
WCET
2008
15 years 5 months ago
Towards Predicated WCET Analysis
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
Amine Marref, Guillem Bernat
140
Voted
FORTE
2004
15 years 5 months ago
Introducing the Iteration in sPBC
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
Hermenegilda Macià, Valentín Valero ...
IJCAI
2003
15 years 5 months ago
Neural Executive Attentional Control in Robots
We have developed a robot controller based upon a neural implementation of Norman and Shallice's model of executive attentional control in humans. A simulation illustrates ho...
Jason Garforth, Sue L. McHale, Anthony Meehan
NIPS
2003
15 years 5 months ago
Minimising Contrastive Divergence in Noisy, Mixed-mode VLSI Neurons
This paper presents VLSI circuits with continuous-valued probabilistic behaviour realized by injecting noise into each computing unit(neuron). Interconnecting the noisy neurons fo...
Hsin Chen, Patrice Fleury, Alan F. Murray
AMAI
2007
Springer
15 years 4 months ago
Partial equilibrium logic
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
Pedro Cabalar, Sergei P. Odintsov, David Pearce, A...