8874 search results - page 321 / 1775 » A New Implementation of Automath |
237
click to vote
ITRE
2006
IEEE
16 years 1 months ago
2006
IEEE
An inpainting technique for images and videos is introduced. The idea is to use fluid equations – the Navier-Stokes equations- as a PDE based method for the image processing. The...
181
click to vote
AICCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
A new scheme for transmitting sensitive data is proposed, the proposed scheme depends on partitioning the output of a block encryption module using the Chinese Remainder Theorem a...
186
click to vote
TABLEAUX
2005
Springer
16 years 28 days ago
2005
Springer
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
224
Voted
ZUM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
161
click to vote
ADS
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Audio/visual speech, in the form of labial movement and facial expression data, was utilized in order to semi-automatically build a new Italian expressive and emotive tal...