Sciweavers

3885 search results - page 684 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
ECCV
2010
Springer
13 years 11 months ago
Descriptor Learning for Efficient Retrieval
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
APLAS
2008
ACM
13 years 11 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
ATAL
2008
Springer
13 years 11 months ago
Specifying and enforcing norms in artificial institutions
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
Nicoletta Fornara, Marco Colombetti
ATAL
2008
Springer
13 years 11 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
ACMACE
2005
ACM
13 years 11 months ago
Heat sensation in image creation with thermal vision
We introduce how to involve the heat sensation in image creation by using thermal vision. We develop ”ThermoTablet” which can detect touch regions of physical input objects on...
Daisuke Iwai, Kosuke Sato