527 search results - page 35 / 106 » Towards a Natural Way of Reasoning |
INAP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
TAPSOFT
1997
Springer
14 years 1 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
Combining interactive technology with traditional toys promises to significantly enhance the educational value of children's play. Designing such augmented toy environments, ...
ICIS
1998
13 years 11 months ago
1998
IT infrastructures coupled with BPR initiatives have the potential of supporting and enabling new organizational forms and helping firms face the challenges of globalization. The ...
ACL
1993
13 years 11 months ago
1993
We describe a generative probabilistic model of natural language, which we call HBG, that takes advantage of detailed linguistic information to resolve ambiguity. HBG incorporates...