Sciweavers

3595 search results - page 399 / 719
» Roles of Program Extension
Sort
View

Publication
216views
14 years 4 months ago
The Geometry of Time-Stepping
The space-time geometric structure of Maxwell’s equations is examined and a subset of them is found to define a pair of exact discrete time-stepping relations. The desirability ...
Claudio Mattiussi
CVPR
2012
IEEE
13 years 9 months ago
Camera spectral sensitivity estimation from a single image under unknown illumination by using fluorescence
Camera spectral sensitivity plays an important role for various color-based computer vision tasks. Although several methods have been proposed to estimate it, their applicability ...
Shuai Han, Yasuyuki Matsushita, Imari Sato, Takahi...
SACMAT
2009
ACM
16 years 1 months ago
Towards formal security analysis of GTRBAC using timed automata
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri
ER
2007
Springer
130views Database» more  ER 2007»
16 years 26 days ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
ISCA
2010
IEEE
192views Hardware» more  ISCA 2010»
15 years 11 months ago
NoHype: virtualized cloud infrastructure without the virtualization
Cloud computing is a disruptive trend that is changing the way we use computers. The key underlying technology in cloud infrastructures is virtualization – so much so that many ...
Eric Keller, Jakub Szefer, Jennifer Rexford, Ruby ...