3836 search results - page 166 / 768 » Semantics of Database Transformations |
164
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
143
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
125
click to vote
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
140
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
138
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In the past several years, we’ve been studying feature transformation (FT) approaches to robust automatic speech recognition (ASR) which can compensate for possible “distortio...