8874 search results - page 321 / 1775 » A New Implementation of Automath |
215
click to vote
ITRE
2006
IEEE
16 years 23 days 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...
168
click to vote
AICCSA
2005
IEEE
16 years 12 days 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...
171
click to vote
TABLEAUX
2005
Springer
16 years 7 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...
207
click to vote
ZUM
2005
Springer
16 years 7 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 ...
150
click to vote
ADS
2004
Springer
16 years 5 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...