Sciweavers

3937 search results - page 489 / 788
» Questioning Ubiquitous Computing
Sort
View
ICNC
2005
Springer
16 years 3 days ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
ICTCS
2005
Springer
16 years 3 days ago
Weighted Coloring: Further Complexity and Approximability Results
Given a vertex-weighted graph G = (V, E; w), w(v) ≥ 0 for any v ∈ V , we consider a weighted version of the coloring problem which consists in finding a partition S = (S1, . ...
Bruno Escoffier, Jérôme Monnot, Vange...
IVA
2005
Springer
16 years 3 days ago
Emotion in Artificial Intelligence and Artificial Life Research: Facing Problems
Psychology and cognitive neuroscience researches are increasingly showing how emotion plays a crucial role in cognitive processes. Gradually, this knowledge is being used in Artifi...
Jackeline Spinola de Freitas, Ricardo R. Gudwin, J...
MFCS
2005
Springer
16 years 3 days ago
Autoreducibility, Mitoticity, and Immunity
We show the following results regarding complete sets. • NP-complete sets and PSPACE-complete sets are many-one autoreducible. • Complete sets of any level of PH, MODPH, or th...
Christian Glaßer, Mitsunori Ogihara, Aduri P...
ACMDIS
2004
ACM
16 years 1 days ago
Intimate objects
We present a preliminary and ongoing study into intimate objects: technological devices for maintaining intimacy at a distance. We use the notion of critical technical practice to...
Joseph Kaye, Liz Goulding