6201 search results - page 1011 / 1241 » Implementation of Axiomatic Language |
173
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
176
click to vote
ISCAS
2007
IEEE
16 years 27 days ago
2007
IEEE
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...
186
click to vote
IWPSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
206
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
168
click to vote
ROMAN
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract—In this paper, we present POSTECH Spoken Dialogue System for Electronic Program Guide Information Access (POSSDS-EPG). POSSDS-EPG consists of automatic speech recognizer...