6020 search results - page 1171 / 1204 » A New Approach to Model Counting |
188
click to vote
ABIALS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
133
click to vote
BIBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
139
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
123
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
In battery-powered embedded systems, dedicated circuitry is used to convert stored energy into a form that can be directly used by processors. These power regulation devices seek ...
129
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— A self-healing key distribution scheme enables a large group of users (sensor nodes) to establish a session key dynamically over an unreliable, or lossy wireless network. The m...