400 search results - page 2 / 80 » Towards a practical lipreading system |
ACSW
2004
13 years 5 months ago
2004
Due to rapid development in the global market, workflow systems are not limited to a single country. Electronic business like workflows span across countries and hence there arise...
PADL
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
ICIAR
2005
Springer
13 years 9 months ago
2005
Springer
There has been many hidden communication techniques proposed in the last few years. The focus was given to steganography to build such techniques. Utilizing stego-key(s) to hide se...
INFORMATICASI
2008
13 years 4 months ago
2008
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...