3710 search results - page 375 / 742 » A new calculus of contexts |
180
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
Traditional user interfaces for off-the-desktop applications are designed to display the output on flat 2D surfaces while the input is with 2D or 3D devices. In this paper, we foc...
165
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
168
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
203
click to vote
COOPIS
1995
IEEE
15 years 10 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
213
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
New measures of peak power in the context of sequential circuits are proposed. This paper presents an automatic procedure to obtain very good lower bounds on these measures as wel...