1992 search results - page 212 / 399 » Model Based Testing with Labelled Transition Systems |
137
Voted
TCS
2008
15 years 3 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
129
Voted
ICFHR
2010
14 years 10 months ago
2010
This article describes the isolated word recognizer presented by the authors to the ICDAR 2009 French handwriting recognition competition. This system is a combination of three is...
127
Voted
LCTRTS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
122
Voted
VRST
2006
ACM
15 years 9 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
145
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
One common predictive modeling challenge occurs in text mining problems is that the training data and the operational (testing) data are drawn from different underlying distributi...