5550 search results - page 749 / 1110 » Different Approaches to Proof Systems |
171
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with the identification of the flux for a system of conservation laws in the specific example of analytic chromatography. The fundamental equations of chromatograp...
153
click to vote
CANDT
2009
15 years 11 months ago
2009
Self-focus is a novel way of understanding a type of bias in community-maintained Web 2.0 graph structures. It goes beyond previous measures of topical coverage bias by encapsulat...
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper reports on an experiment to determine the optimal parameters for a speech recogniser that is part of a computer aided instruction system for assisting learners of Engli...
170
click to vote
ACRI
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...
204
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In the past, many attempts have been made to improve the interoperability between different Web-based information systems. In most approaches the remaining problems are still twof...