12459 search results - page 216 / 2492 » cans 2006 |
188
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
152
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
127
click to vote
VL
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
120
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a trust-oriented method that can be used when building P2P recommender systems. We discuss its benefits in comparison to centralized solutions, its requir...
125
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a distinguishing attack against SOBER-128 with linear masking. We found a linear approximation which has a bias of 2−8.8 for the non-linear filter. The atta...