5550 search results - page 1040 / 1110 » Different Approaches to Proof Systems |
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—Layered streaming can be used to adapt to the available download capacity of an end-user, and such adaptation is very much required in real world HTTP media streaming. The multi...
111
click to vote
RR
2010
Springer
14 years 8 months ago
2010
Springer
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...
ACSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
A promising method for the detection of previously unknown code injection attacks is the identification of the shellcode that is part of the attack vector using payload execution....
104
Voted
AND
2010
14 years 8 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
96
Voted
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Previous work has shown that modeling relationships between articles of a regulation as vertices of a graph network works twice as better than traditional information ret...