665 search results - page 68 / 133 » Contrast in concept-to-speech generation |
111
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
RTAS
2009
IEEE
15 years 5 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
ICEIS
2009
IEEE
15 years 5 months ago
2009
IEEE
Today XML is an essential technology for knowledge management within enterprises and dissemination of data over the Web. Therefore the efficient evaluation of XML queries has been ...
111
Voted
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
78
Voted
ESWS
2009
Springer
15 years 5 months ago
2009
Springer
Digitized legacy document marked up with XML can be used in many ways, e.g., to generate RDF statements about the world described. A prerequisite for doing so is that the document ...