Sciweavers

26354 search results - page 325 / 5271
» How we refactor, and how we know it
Sort
View
139
Voted
ACII
2007
Springer
16 years 1 months ago
Metaphor and Affect Detection in an ICA
We discuss an aspect of an affect-detection system used in edrama by intelligent conversational agents, namely affective interpretation of limited sorts of metaphorical utterance. ...
Timothy H. Rumbell, C. J. Smith, John A. Barnden, ...
ATAL
2004
Springer
16 years 6 days ago
Physicomimetics for Mobile Robot Formations
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
William M. Spears, Rodney Heil, Diana F. Spears, D...
FM
2003
Springer
139views Formal Methods» more  FM 2003»
16 years 15 hour ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
AH
2000
Springer
15 years 11 months ago
Coherence in Modularly Composed Adaptive Learning Documents
Abstract. In this paper we suggest the Multibook approach how the gap between adaptivity and readability can be diminished. We show how a knowledge base has to be described by meta...
Cornelia Seeberg, Achim Steinacker, Ralf Steinmetz
141
Voted
CRYPTO
1993
Springer
104views Cryptology» more  CRYPTO 1993»
15 years 11 months ago
Extensions of Single-term Coins
We show how the electronic cash scheme in [Fer93a] can be extended to provide n-spendable coins. Furthermore, we show how observers can be incorporated in the protocols to provide...
Niels Ferguson