Sciweavers

679 search results - page 73 / 136
» hybrid 2010
Sort
View
ACMIDC
2010
13 years 10 months ago
Make a Riddle and TeleStory: designing children's applications for the siftables platform
We present the design of Make a Riddle and TeleStory, educational applications developed on the Siftables platform for children aged 4-7 years. Siftables are hybrid tangible-g...
Seth Hunter, Jeevan J. Kalanithi, David Merrill
FORMATS
2010
Springer
13 years 8 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
LREC
2010
163views Education» more  LREC 2010»
13 years 11 months ago
A High Recall Error Identification Tool for Hindi Treebank Validation
This paper describes the development of tools for a semi-automated process for validation of treebank annotation at various levels. Consistency in treebank annotation is a must fo...
Bharat Ram Ambati, Mridul Gupta, Samar Husain, Dip...
EOR
2007
174views more  EOR 2007»
13 years 10 months ago
A Benders approach for the constrained minimum break problem
This paper presents a hybrid IP/CP algorithm for designing a double round robin schedule with a minimal number of breaks. Both mirrored and non-mirrored schedules with and without ...
Rasmus V. Rasmussen, Michael A. Trick
DT
2000
101views more  DT 2000»
13 years 9 months ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler