Sciweavers

340 search results - page 41 / 68
» A Discrete Model Of Degree Concept In Natural Language
Sort
View
TCS
2010
13 years 7 months ago
Alternating states for dual nondeterminism in imperative programming
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
Wim H. Hesselink
UML
2004
Springer
14 years 2 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin
NLUCS
2004
13 years 10 months ago
Cognitive Dialogue Management
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
Vincenzo Pallotta
ECAI
1992
Springer
14 years 21 days ago
A Common-Sense Theory of Time
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
Yuen Q. Lin
CHI
2001
ACM
14 years 9 months ago
Relational agents: a model and implementation of building user trust
Building trust with users is crucial in a wide range of applications, such as advice-giving or financial transactions, and some minimal degree of trust is required in all applicat...
Timothy W. Bickmore, Justine Cassell