Sciweavers

15120 search results - page 277 / 3024
» Learning with Local Models
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 11 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
INAP
2001
Springer
15 years 11 months ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
ICCV
2003
IEEE
15 years 12 months ago
A Model-Based Approach for Automated Feature Extraction in Fundus Images
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
Huiqi Li, Opas Chutatape
UAI
1997
15 years 8 months ago
Structure and Parameter Learning for Causal Independence and Causal Interaction Models
We begin by discussing causal independence models and generalize these models to causal interaction models. Causal interaction models are models that have independent mechanisms w...
Christopher Meek, David Heckerman
188
Voted
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...