Sciweavers

4451 search results - page 384 / 891
» On Random Ordering Constraints
Sort
View
JAIR
2000
94views more  JAIR 2000»
15 years 6 months ago
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan
This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search technique...
Subbarao Kambhampati
ATMOS
2010
150views Optimization» more  ATMOS 2010»
15 years 5 months ago
Dynamic Graph Generation and Dynamic Rolling Horizon Techniques in Large Scale Train Timetabling
The aim of the train timetabling problem is to find a conflict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...
Frank Fischer, Christoph Helmberg
ICSE
2009
IEEE-ACM
15 years 4 months ago
Model Based Functional Testing Using Pattern Directed Filmstrips
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
Tony Clark
COMPLEXITY
2010
124views more  COMPLEXITY 2010»
15 years 4 months ago
Spatially embedded dynamics and complexity
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
Christopher L. Buckley, Seth Bullock, Lionel Barne...
DM
2011
158views Education» more  DM 2011»
14 years 10 months ago
A survey of homogeneous structures
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
Dugald Macpherson