Sciweavers

2286 search results - page 153 / 458
» Algorithms for Categorical Equivalence
Sort
View
AI
2010
Springer
14 years 10 months ago
Learning conditional preference networks
We investigate the problem of eliciting CP-nets in the well-known model of exact learning with equivalence and membership queries. The goal is to identify a preference ordering wi...
Frédéric Koriche, Bruno Zanuttini
CORR
2010
Springer
132views Education» more  CORR 2010»
14 years 10 months ago
Small NFAs from Regular Expressions: Some Experimental Results
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
Hugo Gouveia, Nelma Moreira, Rogério Reis
JGT
2006
60views more  JGT 2006»
14 years 10 months ago
Spanning subgraphs of graphs partitioned into two isomorphic pieces
: A graph has the neighbor-closed-co-neighbor, or ncc property, if for each of its vertices x, the subgraph induced by the neighbor set of x is isomorphic to the subgraph induced b...
Anthony Bonato
CG
2004
Springer
14 years 10 months ago
Recursive turtle programs and iterated affine transformations
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
Tao Ju, Scott Schaefer, Ron Goldman
TMI
2002
65views more  TMI 2002»
14 years 9 months ago
A Proof of the Spherical Homeomorphism Conjecture for Surfaces
The human cerebral cortex is topologically equivalent to a sphere when it is viewed as closed at the brain stem. Due to noise and/or resolution issues, magnetic resonance imaging m...
Lowell Abrams, Donniell E. Fishkind, Carey E. Prie...