580 search results - page 15 / 116 » Some Computational Aspects of distance-sat |
ICAD
2004
13 years 11 months ago
2004
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...
COLING
2002
13 years 9 months ago
2002
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
JSC
2006
13 years 9 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
IJNSEC
2008
13 years 9 months ago
2008
Many security and privacy protocols for RFID systems have been proposed [8, 13, 19, 20]. In most cases these protocols are evaluated in terms of security based on some model. Ofte...
GRC
2007
IEEE
14 years 1 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...