Sciweavers

6300 search results - page 122 / 1260
» We have it easy, but do we have it right
Sort
View
ICCS
2003
Springer
15 years 6 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
ACSAC
2000
IEEE
15 years 5 months ago
A Policy-based Access Control Mechanism for the Corporate Web
Current Web technologies use access control lists (ACLs) for enforcing regulations and practices governing businesses today. Having the policy hard-coded into ACLs causes manageme...
Victoria Ungureanu, F. Vesuna, Naftaly H. Minsky
CVPR
1996
IEEE
15 years 5 months ago
Connectionist networks for feature indexing and object recognition
Feature indexing techniques are promising for object recognition since they can quickly reduce the set of possible matches for a set of image features. This work exploits another ...
Clark F. Olson
VLDB
2000
ACM
149views Database» more  VLDB 2000»
15 years 4 months ago
Rethinking Database System Architecture: Towards a Self-Tuning RISC-Style Database System
Database technology is one of the cornerstones for the new millennium's IT landscape. However, database systems as a unit of code packaging and deployment are at a crossroad:...
Surajit Chaudhuri, Gerhard Weikum
CATS
2008
15 years 2 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves