1536 search results - page 173 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
- In this paper we showed the signal degradation parts in High-speed channel of FB-DiMM system. And we also showed possible countermeasure. For the verification propose and also fo...
ENTCS
2007
13 years 10 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
ICML
2003
IEEE
14 years 3 months ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...