Sciweavers

3547 search results - page 225 / 710
» Computers Seeing People
Sort
View
CCS
1993
ACM
15 years 10 months ago
Why Cryptosystems Fail
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
Ross J. Anderson
DISCO
1992
79views Hardware» more  DISCO 1992»
15 years 10 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch
KI
1992
Springer
15 years 10 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay
ICSE
2000
IEEE-ACM
15 years 10 months ago
Software engineering for real-time: a roadmap
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...
Hermann Kopetz
AISB
2008
Springer
15 years 8 months ago
Constructivism in AI: Prospects, Progress and Challenges
This position paper argues the case for the application of constructivist theories to Artificial Intelligence, with particular emphasis on Piaget's theory. The idea of buildin...
Frank Guerin