846 search results - page 60 / 170 » The Use of Z |
FM
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this work we show how interactivity in a voice-enabled question answering application may improve speech recognition. We allow the user to provide a target named entity before ...
SSDBM
2007
IEEE
14 years 3 months ago
2007
IEEE
We consider pedigree data structured in the form of a directed acyclic graph, and use an encoding scheme, called NodeCodes, for expediting the evaluation of queries on pedigree gr...
IFIP
2000
Springer
14 years 20 days ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
CCE
2005
13 years 9 months ago
2005
The analysis of historical process data of technological systems plays important role in process monitoring, modelling and control. Time-series segmentation algorithms are often u...