4209 search results - page 129 / 842 » Abstract Dialectical Frameworks |
150
click to vote
PERCOM
2003
ACM
16 years 5 months ago
2003
ACM
Abstract. We present our results of the conceptual design and the implementation of ubiquitous computing applications using smart identification technologies. First, we describe su...
182
click to vote
EWSN
2008
Springer
16 years 5 months ago
2008
Springer
Component-based architectures are the traditional approach cile application specific optimization with reusable abstractions in sensor networks. However, they frequently overwhelm ...
148
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
168
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Recent years have seen a trend in using graphic processing units (GPU) as accelerators for general-purpose computing. The inexpensive, single-chip, massively parallel ar...
137
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...