140 search results - page 8 / 28 » About these proceedings |
ASWSD
2004
Springer
14 years 23 days ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
SPATIALCOGNITION
1998
Springer
13 years 11 months ago
1998
Springer
We describe the development of a computer-generated arena within which one can study human place learning by asking subjects to locate an invisible target. A series of studies demo...
IJMMS
2006
13 years 7 months ago
2006
How to measure usability is an important question in HCI research and user interface evaluation. We review current practice in measuring usability by categorizing and discussing u...
SYNTHESE
2010
13 years 5 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
JACM
2010
13 years 5 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...