Sciweavers

3653 search results - page 608 / 731
» Learning of Partial Languages
Sort
View
MOMM
2006
ACM
122views Communications» more  MOMM 2006»
15 years 5 months ago
Multimedia Tools for Teaching Reconfigurable Systems
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
Valery Sklyarov, Iouliia Skliarova
ICDAR
2005
IEEE
15 years 5 months ago
Text Recognition of Low-resolution Document Images
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...
Charles E. Jacobs, Patrice Y. Simard, Paul A. Viol...
IUI
2005
ACM
15 years 5 months ago
Emotive alert: HMM-based emotion detection in voicemail messages
Voicemail has become an integral part of our personal and professional communication. The number of messages that accumulate in our voice mailboxes necessitate new ways of priorit...
Zeynep Inanoglu, Ron Caneel
PASTE
2005
ACM
15 years 5 months ago
String analysis for x86 binaries
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 5 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...