5638 search results - page 358 / 1128 » On presence |
157
Voted
CONTEXT
2005
Springer
16 years 11 days ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
182
Voted
CTRSA
2005
Springer
16 years 11 days ago
2005
Springer
There are many articles and patents on the masking of logic gates. However, the existing publications assume that a masked logic gate switches its output no more than once per cloc...
176
click to vote
DAGM
2005
Springer
16 years 11 days ago
2005
Springer
Obstacle avoidance is one of the most important challenges for mobile robots as well as future vision based driver assistance systems. This task requires a precise extraction of de...
182
Voted
DNA
2005
Springer
16 years 11 days ago
2005
Springer
The first step of the Adleman-Lipton extract model in DNA computing is the combinatorial generation of libraries. In this paper a new method is proposed for generating a initial p...
195
click to vote
FMCO
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...