1992 search results - page 262 / 399 » On the (limited) power of non-equivocation |
120
Voted
AIMSA
1998
Springer
15 years 6 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
87
Voted
STOC
1998
ACM
15 years 6 months ago
1998
ACM
We consider the problem of efficient information retrieval in asymmetric communication environments where multiple clients with limited resources retrieve information from a power...
124
Voted
VRML
1998
ACM
15 years 6 months ago
1998
ACM
While many pleasing effects are possible using the current VRML sound model [9], it falls short of producing convincing aural environments. Sound sources are not easily affected b...
124
Voted
ICSM
1997
IEEE
15 years 6 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
124
click to vote
IPPS
1997
IEEE
15 years 6 months ago
1997
IEEE
Current parallelizing compilers for message-passing machines only support a limited class of data-parallel applications. One method for eliminating this restriction is to combine ...