481 search results - page 13 / 97 » Toward an Abstract Computer Virology |
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
CIC
2004
13 years 9 months ago
2004
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
AUTOMOTIVEUI
2009
ACM
14 years 2 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
AIS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...