7106 search results - page 1002 / 1422 » Restricted Complexity, General Complexity |
161
click to vote
SIGADA
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
197
click to vote
WCC
2005
Springer
16 years 11 days ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...
184
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
221
Voted
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
163
click to vote
AFRIGRAPH
2004
ACM
16 years 10 days ago
2004
ACM
We present a technique for capturing the extreme dynamic range of natural illumination environments that include the sun and sky, which has presented a challenge for traditional h...