6020 search results - page 135 / 1204 » A New Approach to Model Counting |
136
Voted
WORM
2003
15 years 5 months ago
2003
The damage inflicted by viruses and worms has been limited because the payloads that are most lucrative to malware authors have also posed the greatest risks to them. The problem...
163
click to vote
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...
145
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
—The main contribution of this paper arises from the development of a new framework, which has its inspiration in the mechanics of human navigation, for solving the problem of Si...
140
click to vote
CIARP
2006
Springer
15 years 6 months ago
2006
Springer
In this work we consider a mobile robot with a laser range finder. Our goal is to find the best set of lines from the sequence of points given by a laser scan. We propose a probabi...
152
click to vote
BIOINFORMATICS
2007
15 years 4 months ago
2007
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...