1712 search results - page 93 / 343 » Assistive technology in computer science |
131
click to vote
FOCS
1994
IEEE
15 years 10 months ago
1994
IEEE
We introduce a new method, called Priority Encoding Transmission, for sending messages over lossy packet-based networks. When a message is to be transmitted, the user speci es a p...
180
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: A key application area of semantic technologies is the fast-developing field of bioinformatics. Sealife is a project within this field with the aim of creating semanticsbased w...
164
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
181
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
We introduce five methods for summarizing parts of Web pages on handheld devices, such as personal digital assistants (PDAs), or cellular phones. Each Web page is broken into text...
142
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Text passwords are the primary authentication method used for most online services. Many online users select weak passwords. Regrettably, most proposed methods of strengthening pa...