Sciweavers

2254 search results - page 137 / 451
» Computing the minimal covering set
Sort
View
CONCUR
2007
Springer
15 years 4 months ago
Checking Coverage for Infinite Collections of Timed Scenarios
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
S. Akshay, Madhavan Mukund, K. Narayan Kumar
FOCS
2004
IEEE
15 years 4 months ago
Stochastic Optimization is (Almost) as easy as Deterministic Optimization
Stochastic optimization problems attempt to model uncertainty in the data by assuming that (part of) the input is specified in terms of a probability distribution. We consider the...
David B. Shmoys, Chaitanya Swamy
76
Voted
ASSETS
2005
ACM
15 years 2 months ago
Autism/excel study
Five high school students with ASD (autistic spectrum disorder) participating in the Excel/Autism study were able to demonstrate mastery of a set of Excel topics. The Excel curric...
Mary Hart
CP
1997
Springer
15 years 5 months ago
Programming Constraint Inference Engines
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
Christian Schulte
95
Voted
ICPR
2004
IEEE
16 years 1 months ago
Discrimination of Machine-Printed from Handwritten Text Using Simple Structural Characteristics
In this paper, we present a trainable approach to discriminate between machine-printed and handwritten text. An integrated system able to localize text areas and split them in tex...
Efstathios Stamatatos, Ergina Kavallieratou