351 search results - page 43 / 71 » Multi-Modal-Method: A Design Method for Building Multi-Modal... |
165
Voted
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
PAMI
1998
1998
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
14 years 9 months ago
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
73
Voted
EWLR
1997
Springer
15 years 1 months ago
1997
Springer
Building robots can be a tough job because the designer has to predict the interactions between the robot and the environment as well as to deal with them. One solution to cope the...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...