Sciweavers

9871 search results - page 392 / 1975
» On the Structure of Low Sets
Sort
View
EJC
2007
15 years 6 months ago
The structure of 3-connected matroids of path width three
A 3-connected matroid M is sequential or has path width 3 if its ground set E(M) has a sequential ordering, that is, an ordering (e1, e2, . . . , en) such that ({e1, e2, . . . , ek...
Rhiannon Hall, James G. Oxley, Charles Semple
JLP
2006
81views more  JLP 2006»
15 years 6 months ago
Development graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
Till Mossakowski, Serge Autexier, Dieter Hutter
IJAR
2007
130views more  IJAR 2007»
15 years 6 months ago
Bayesian network learning algorithms using structural restrictions
The use of several types of structural restrictions within algorithms for learning Bayesian networks is considered. These restrictions may codify expert knowledge in a given domai...
Luis M. de Campos, Javier Gomez Castellano
JUCS
2002
84views more  JUCS 2002»
15 years 6 months ago
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
Florence Le Ber, Amedeo Napoli
FLAIRS
2009
15 years 4 months ago
Discovering Anomalies to Multiple Normative Patterns in Structural and Numeric Data
One of the primary issues with traditional anomaly detection approaches is their inability to handle complex, structural data. One approach to this issue involves the detection of...
William Eberle, Lawrence B. Holder