500 search results - page 24 / 100 » Quantified Conditionals and Compositionality |
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
JMLR
2010
13 years 2 months ago
2010
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—We show an interesting pairwise balanced design (PBD)-closure result for the set of lengths of constant-composition codes whose distance and size meet certain conditions. A cons...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
UAI
1994
13 years 8 months ago
1994
Wepresenta symbolicmachinerythatadmits bothprobabilisticand causalinformation abouta givendomainand producesprobabilisticstatementsabouttheeffectofactions andtheimpactof observati...