1567 search results - page 187 / 314 » A Mechanized Model of the Theory of Objects |
123
click to vote
MOBISYS
2003
ACM
16 years 1 months ago
2003
ACM
This paper introduces adaptation-aware editing and progressive update propagation, two novel mechanisms that enable authoring multimedia content and collaborative work on mobile d...
130
Voted
SGP
2004
15 years 4 months ago
2004
We propose a method for segmentation of 3D scanned shapes into simple geometric parts. Given an input point cloud, our method computes a set of components which possess one or mor...
CEAS
2004
Springer
15 years 7 months ago
2004
Springer
Spam is commonly defined as unsolicited email messages, and the goal of spam filtering is to eliminate these messages. In this paper, we argue that not all unsolicited email messag...
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
127
click to vote
JOCN
2011
14 years 4 months ago
2011
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...