Sciweavers

3927 search results - page 431 / 786
» Emotional Concept Development
Sort
View
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 10 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
ICDCS
1995
IEEE
15 years 10 months ago
MASSIVE: A Distributed Virtual Reality System Incorporating Spatial Trading
MASSIVE is a distributed virtual reality system. It provides rich facilities to support user interaction and cooperation via text, audio and graphics media, and interaction is con...
Chris Greenhalgh, Steve Benford
COMPGEOM
1987
ACM
15 years 10 months ago
Oriented Projective Geometry
In [12] Stolfi developed a complete theory of Oriented Projective Geometry. He showed that assigning meaning to the sign of an otherwise homogenous representation of geometry could...
Jorge Stolfi
CSFW
2010
IEEE
15 years 10 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
AAAI
2007
15 years 9 months ago
Impromptu Teams of Heterogeneous Mobile Robots
As robots become more involved in assisting us in large and hazardous operations, such as search and rescue, we can anticipate that diverse robots will come together with the need...
Ross Mead, Jerry B. Weinberg