3082 search results - page 413 / 617 » its 2004 |
168
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
191
click to vote
ICIAR
2004
Springer
16 years 7 days ago
2004
Springer
The bidirectional texture function (BTF) describes rough texture appearance variations due to varying illumination and viewing conditions. Such a function consists of thousands of ...
182
click to vote
ICLP
2004
Springer
16 years 7 days ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
188
click to vote
ICLP
2004
Springer
16 years 7 days ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
183
click to vote
ICMI
2004
Springer
16 years 6 days ago
2004
Springer
We present a generic approach to multimodal fusion which we call context based multimodal integration. Key to this approach is that every multimodal input event is interpreted and...