Sciweavers

140 search results - page 23 / 28
» A Quantitative Model of Counterfactual Reasoning
Sort
View
SRDS
2007
IEEE
14 years 4 months ago
Framework for Intrusion Tolerant Certification Authority System Evaluation
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
Jingqiang Lin, Jiwu Jing, Peng Liu
COGSCI
2008
87views more  COGSCI 2008»
13 years 10 months ago
Processing Polarity: How the Ungrammatical Intrudes on the Grammatical
A central question in online human sentence comprehension is: how are linguistic relations established between different parts of a sentence? Previous work has shown that this dep...
Shravan Vasishth, Sven Brüssow, Richard L. Le...
QEST
2005
IEEE
14 years 3 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha
ECCV
2002
Springer
14 years 11 months ago
Surface Extraction from Volumetric Images Using Deformable Meshes: A Comparative Study
Abstract. Deformable models are by their formulation able to solve surface extraction problem from noisy volumetric images. This is since they use image independent information, in...
Jussi Tohka
GIS
2003
ACM
14 years 10 months ago
Constructing a dem from grid-based data by computing intermediate contours
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
Michael B. Gousie, Wm. Randolph Franklin