13618 search results - page 199 / 2724 » The Newton Operating System |
160
click to vote
DGO
2003
15 years 8 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
183
click to vote
ISCI
2007
15 years 6 months ago
2007
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
160
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Secure multicast has a variety of applications in ecommerce, e-banking, command and control, video-ondemand, and other internet-based services. In this paper, we present algorithm...
165
click to vote
CF
2006
ACM
16 years 16 days ago
2006
ACM
Regular distributions for storing dense matrices on parallel systems are not always used in practice. In many scientific applicati RUMMA) [1] to handle irregularly distributed mat...