500 search results - page 4 / 100 » Quantified Conditionals and Compositionality |
ISORC
2008
IEEE
14 years 1 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
ENTCS
2007
13 years 6 months ago
2007
ICDCSW
2002
IEEE
13 years 11 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
AAAI
2010
13 years 6 months ago
2010
Many methods for quantitative structure-activity relationships (QSARs) deliver point estimates only, without quantifying the uncertainty inherent in the prediction. One way to qua...
APAL
2005
13 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...