2944 search results - page 344 / 589 » On Well Quasi-orders on Languages |
175
click to vote
TSD
2005
Springer
16 years 3 days ago
2005
Springer
Although speech, derived from reading texts, and similar types of speech, e.g. that from reading newspapers or that from news broadcast, can be recognized with high accuracy, recog...
177
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
182
click to vote
ICFEM
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
240
click to vote
ICSNW
2004
Springer
16 years 9 hour ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
187
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...