80 search results - page 11 / 16 » New-HOPLA: A Higher-order Process Language with Name Generat... |
CACM
2000
14 years 9 months ago
2000
The Informedia Digital Video Library system extracts information from digitized video sources and allows full content search and retrieval over all extracted data. This extracted ...
102
click to vote
IJCSA
2006
14 years 9 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
112
click to vote
DOCENG
2011
ACM
13 years 9 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
KDD
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we present a technique for visual analysis of documents based on the semantic representation of text in the form of a directed graph, referred to as semantic graph....
122
click to vote
IAAI
2003
14 years 11 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...