Sciweavers

3819 search results - page 367 / 764
» Simple Easy Terms
Sort
View
MM
2009
ACM
111views Multimedia» more  MM 2009»
15 years 11 months ago
Integrating corrections into digital ink playback
In this paper, we describe preliminary work on an ink editing application that allows an instructor to correct mistakes to digital ink written during a presentation that is to be ...
Richard J. Anderson, Devy Pranowo, Craig Prince, F...
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...
AGENTS
2001
Springer
15 years 11 months ago
Entropy and self-organization in multi-agent systems
Emergent self-organization in multi-agent systems appears to contradict the second law of thermodynamics. This paradox has been explained in terms of a coupling between the macro ...
H. Van Dyke Parunak, Sven Brueckner
AOSE
2001
Springer
15 years 11 months ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer
CSL
2001
Springer
15 years 11 months ago
Life without the Terminal Type
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
Lutz Schröder