7821 search results - page 423 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
191
click to vote
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
201
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
187
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Unsupervised learning methods often involve summarizing the data using a small number of parameters. In certain domains, only a small subset of the available data is relevant for ...
162
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
195
click to vote
TASLP
2008
15 years 6 months ago
2008
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...