8874 search results - page 1547 / 1775 » A New Implementation of Automath |
201
click to vote
PDP
2003
IEEE
16 years 15 days ago
2003
IEEE
The enlarging market of portable devices and wireless networks stimulates the provisioning of mobilityenabled Internet services with differentiated levels of Quality of Service (Q...
164
click to vote
SAINT
2003
IEEE
16 years 15 days ago
2003
IEEE
A service discovery framework provides a collection of protocols for developing dynamic client/server applications, allowing clients to find and use services without any previous ...
206
click to vote
ICAIL
2003
ACM
16 years 15 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
227
click to vote
KCAP
2003
ACM
16 years 15 days ago
2003
ACM
Electronic concept mapping tools empower experts to play an active role in the knowledge capture process, and provide a medium for building richly connected multimedia knowledge m...
231
click to vote
SI3D
2003
ACM
16 years 15 days ago
2003
ACM
This paper describes shear-image order ray casting, a new method for volume rendering. This method renders sampled data in three dimensions with image quality equivalent to the be...