5550 search results - page 289 / 1110 » Different Approaches to Proof Systems |
159
Voted
FAC
2008
15 years 6 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
175
click to vote
FUIN
2006
15 years 6 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
171
click to vote
SIAMSC
2008
15 years 6 months ago
2008
In infrared astronomy, an observed image from a chop and nod process can be considered as the result of passing the original image through a highpass filter. Here we propose a rest...
177
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Query expansion is a well known method to improve the performance of information retrieval systems. In this work we have tested different approaches to extract the candid...
197
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We described here our perception of complex systems, of how we feel the different layers of description are an important part of a correct complex system simulation. We described ...