506 search results - page 20 / 102 » Constructor-based observational logic |
111
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
101
Voted
JMLR
2010
14 years 7 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
160
Voted
HICSS
2011
IEEE
14 years 4 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
110
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
105
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Class syntax can be used to 1) model temporal or locational evolvement of class labels of feature observation sequences, 2) correct classification errors of static classifiers if ...