258 search results - page 28 / 52 » Connections between Relation Algebras and Cylindric Algebras |
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
An optimal feedback control has been obtained for linear-quadratic optimal control problems with constraints described by differential-algebraic equations. For that purpose, a ne...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
MMMACNS
2005
Springer
15 years 4 months ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
FLAIRS
2003
15 years 18 days ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
ECCC
2008
14 years 11 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...