Sciweavers

226 search results - page 31 / 46
» An Explicit Framework for Interaction Nets
Sort
View
CVPR
2005
IEEE
16 years 1 months ago
Hallucinating Faces: TensorPatch Super-Resolution and Coupled Residue Compensation
In this paper, we propose a new face hallucination framework based on image patches, which integrates two novel statistical super-resolution models. Considering that image patches...
Wei Liu, Dahua Lin, Xiaoou Tang
ATAL
2009
Springer
15 years 6 months ago
Altruism and agents: an argumentation based approach to designing agent decision mechanisms
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
Trevor J. M. Bench-Capon, Katie Atkinson, Peter Mc...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 6 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
GIS
2009
ACM
15 years 3 months ago
Dynamic network data exploration through semi-supervised functional embedding
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
Alexei Pozdnoukhov
POPL
1990
ACM
15 years 3 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard