Sciweavers

1523 search results - page 25 / 305
» Partially ordered secretaries
Sort
View
CADE
2010
Springer
14 years 11 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
94
Voted
AAI
2005
117views more  AAI 2005»
14 years 10 months ago
Machine Learning in Hybrid Hierarchical and Partial-Order Planners for Manufacturing Domains
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
Susana Fernández, Ricardo Aler, Daniel Borr...
CASC
2007
Springer
124views Mathematics» more  CASC 2007»
15 years 2 months ago
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form
We find a full system of invariants with respect to gauge transformations L g-1 Lg for third-order hyperbolic linear partial differential operators on the plane. The operators are...
Ekaterina Shemyakova, Franz Winkler
WG
1992
Springer
15 years 2 months ago
On the Complexity of Partial Order Properties
The recognition complexityof ordered set properties is considered, i.e.how many questions have to be asked to decide if an unknown ordered set has a prescribed property. We prove ...
Stefan Felsner, Dorothea Wagner
80
Voted
ECCC
2010
87views more  ECCC 2010»
14 years 7 months ago
Testing monotonicity of distributions over general partial orders
We investigate the number of samples required for testing the monotonicity of a distribution with respect to an arbitrary underlying partially ordered set. Our first result is a n...
Arnab Bhattacharyya, Eldar Fischer, Ronitt Rubinfe...