3028 search results - page 471 / 606 » Integrating Temporal Logics |
CIG
2005
IEEE
14 years 2 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
ENC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...