Sciweavers

5290 search results - page 379 / 1058
» Knowledge Processing in Intelligent Systems
Sort
View
IWINAC
2005
Springer
16 years 6 days ago
Agent WiSARD in a 3D World
This paper investigates the integration of verbal and visual information for describing (explaining) the content of images formed by threedimensional geometrical gures, from a hy...
Ernesto Burattini, Paolo Coraggio, Massimo De Greg...
WWW
2005
ACM
16 years 7 months ago
Named graphs, provenance and trust
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
Jeremy J. Carroll, Christian Bizer, Patrick J. Hay...
KDD
2004
ACM
330views Data Mining» more  KDD 2004»
16 years 7 months ago
Learning to detect malicious executables in the wild
In this paper, we describe the development of a fielded application for detecting malicious executables in the wild. We gathered 1971 benign and 1651 malicious executables and enc...
Jeremy Z. Kolter, Marcus A. Maloof
TPHOL
2009
IEEE
16 years 1 months ago
Formalising Observer Theory for Environment-Sensitive Bisimulation
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
Jeremy E. Dawson, Alwen Tiu
DSD
2008
IEEE
145views Hardware» more  DSD 2008»
16 years 1 months ago
Formulating MITF for a Multicore Processor with SEU Tolerance
While shrinking geometries of embedded LSI devices is beneficial for portable intelligent systems, it is increasingly susceptible to influences from electrical noise, process vari...
Toshimasa Funaki, Toshinori Sato