Sciweavers

461 search results - page 20 / 93
» Uniform Operators
Sort
View
COMPSAC
1998
IEEE
15 years 2 months ago
Capability-Based Protection for Integral Object-Oriented Systems
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
María Ángeles Díaz Fond&oacut...
AIL
2007
96views more  AIL 2007»
14 years 10 months ago
Legal ontology of sales law application to ecommerce
Legal codes, such as the Uniform Commercial Code (UCC) examined in this article, are good points of entry for AI and ontology work because of their more straightforward adaptabili...
John W. Bagby, Tracy Mullen
ENTCS
2006
133views more  ENTCS 2006»
14 years 10 months ago
Linking Semantic Models to Support CSP || B Consistency Checking
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
Neil Evans, Helen Treharne
SIAMSC
2010
159views more  SIAMSC 2010»
14 years 4 months ago
The Fast Generalized Gauss Transform
The fast Gauss transform allows for the calculation of the sum of N Gaussians at M points in O(N + M) time. Here, we extend the algorithm to a wider class of kernels, motivated by ...
Marina Spivak, Shravan K. Veerapaneni, Leslie Gree...
CJ
2006
111views more  CJ 2006»
14 years 10 months ago
Relational Formalism for the Management of Spatial Data
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
Nikos A. Lorentzos, Jose Ramon Rios Viqueira