4095 search results - page 492 / 819 » How to test a tree |
158
click to vote
IROS
2009
IEEE
16 years 14 days ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
162
click to vote
TPHOL
2009
IEEE
16 years 14 days ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
126
click to vote
AIED
2009
Springer
16 years 12 days ago
2009
Springer
We describe an automated method to assess the expressiveness of children’s oral reading by measuring how well its prosodic contours correlate in pitch, intensity, pauses, and wor...
145
click to vote
BPM
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
163
click to vote
IDA
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....