4359 search results - page 381 / 872 » Designing learning systems to provide accessible services |
187
click to vote
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
158
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In recent years Wireless Local Area Networks (WLANs) or hotspots, as they are commonly known, have emerged as a promising networking platform to extend network connectivity in ...
165
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The Domain Name System (DNS) provides a critical service for the Internet – mapping of user-friendly domain names to their respective IP addresses. Yet, there is no standard ...
210
click to vote
AAAI
2007
15 years 9 months ago
2007
We have used semantic technologies to design, implement, and deploy an interdisciplinary virtual observatory. The Virtual Solar-Terrestrial Observatory is a production data framew...
201
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...