Sciweavers

473 search results - page 44 / 95
» On stars and Steiner stars
Sort
View
INFORMS
2007
62views more  INFORMS 2007»
14 years 9 months ago
On a Binary-Encoded ILP Coloring Formulation
We further develop the 0/1 ILP formulation of Lee for edge coloring where colors are encoded in binary. With respect to that formulation, our main contributions are: (i) an effici...
Jon Lee, François Margot
60
Voted
JACM
2007
90views more  JACM 2007»
14 years 9 months ago
A characterization of regular expressions under bisimulation
We solve an open question of Milner [1984]. We define a set of so-called well-behaved finite automata that, modulo bisimulation equivalence, corresponds exactly to the set of reg...
Jos C. M. Baeten, Flavio Corradini, Clemens Grabma...
CORR
2004
Springer
92views Education» more  CORR 2004»
14 years 9 months ago
Embeddings into the Pancake Interconnection Network
Owing to its nice properties, the pancake is one of the Cayley graphs that were proposed as alternatives to the hypercube for interconnecting processors in parallel computers. In ...
Christian Lavault
AAAI
2012
13 years 2 days ago
Learning from Demonstration for Goal-Driven Autonomy
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
Ben George Weber, Michael Mateas, Arnav Jhala
CVPR
2005
IEEE
15 years 11 months ago
A Sparse Object Category Model for Efficient Learning and Exhaustive Recognition
We present a "parts and structure" model for object category recognition that can be learnt efficiently and in a semisupervised manner: the model is learnt from example ...
Robert Fergus, Pietro Perona, Andrew Zisserman