Sciweavers

1523 search results - page 102 / 305
» Partially ordered secretaries
Sort
View
61
Voted
ECAI
2006
Springer
15 years 4 months ago
Last Conflict Based Reasoning
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
CDC
2008
IEEE
169views Control Systems» more  CDC 2008»
15 years 2 months ago
Control of underactuated mechanical systems: Observer design and position feedback stabilization
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
Aneesh Venkatraman, Romeo Ortega, Ioannis Sarras, ...
107
Voted
KRMED
2004
15 years 2 months ago
Axioms for parthood and containment relations in bio-ontologies
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
Thomas Bittner
117
Voted
VIP
2000
15 years 2 months ago
Use of Series Parallel Digraph Analysis in Generating Instructions for Multiple Users
Series Parallel (SP) digraphs are a common method of representing instructions with partially ordered actions, but not always an ideal one, as relationships among groups of action...
Margaret Mitchell
84
Voted
DM
2006
91views more  DM 2006»
15 years 22 days ago
Fast perfect sampling from linear extensions
In this paper, we study the problem of sampling (exactly) uniformly from the set of linear extensions of an arbitrary partial order. Previous Markov chain techniques have yielded ...
Mark Huber