588 search results - page 102 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
SIMUTOOLS
2008
13 years 9 months ago
2008
In silico (on the computer) oncology is a multi-disciplinary field that focuses on the examination and modeling of biological mechanisms related to the phenomenon of cancer. In si...
AAAI
2000
13 years 9 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
AR
2006
13 years 8 months ago
2006
The development and expression of many higher level cognitive functions, such as imitation, spatial perception, and tool-use relies on a multi-modal representation of the body kno...
CAV
2001
Springer
14 years 21 days ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
DRM
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present Trishul-UCON (T-UCON), a DRM system based on the UCONABC model. T-UCON is designed to be capable of enforcing not only application-specific policies, as a...