Sciweavers

19798 search results - page 201 / 3960
» Is Structural Subtyping Useful
Sort
View
EP
1998
Springer
14 years 3 months ago
A DTD Extension for Document Structure Recognition
This paper deals with the representation of document models used in the field of document recognition. A novel formalism called generalized n-gram is presented, which is shown to b...
Rolf Brugger, Frédéric Bapst, Rolf I...
FMSD
2006
77views more  FMSD 2006»
13 years 10 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
IAT
2008
IEEE
14 years 5 months ago
Understanding Social Networks Using Formal Concept Analysis
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...
Václav Snásel, Zdenek Horak, Ajith A...
ADG
2006
Springer
204views Mathematics» more  ADG 2006»
14 years 4 months ago
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
Robert H. Lewis, Evangelos A. Coutsias
NIPS
2000
14 years 3 days ago
The Use of Classifiers in Sequential Inference
We study the problem of combining the outcomes of several different classifiers in a way that provides a coherent inference that satisfies some constraints. In particular, we deve...
Vasin Punyakanok, Dan Roth