2483 search results - page 369 / 497 » A design framework to model retinas |
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
Adversarial multi-robot problems, where teams of robots compete with one another, require the development of approaches that span all levels of control and integrate algorithms ra...
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
ISWC
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper describes an on-going research project at the MIT Media Lab, exploring the use of auditory I/O as a primary interaction modality for wearable computing. Nomadic Radio i...
ETRICS
2006
15 years 1 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
TACS
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...