3913 search results - page 159 / 783 » complexity 2006 |
133
click to vote
LOGCOM
2002
15 years 3 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
129
click to vote
JDA
2006
15 years 4 months ago
2006
We produce an algorithm that is optimal with respect to both space and execution time to generate all the lozenge (or domino) tilings of a hole-free, general-shape domain given as...
113
click to vote
JSAT
2006
15 years 4 months ago
2006
An independent set of variables is one in which no two variables occur in the same clause in a given k-SAT instance. Recently, independent sets have obtained more attention. Due t...
152
click to vote
JUCS
2000
15 years 3 months ago
2000
: Studying the architectural evolution of mainstream field programmable gate arrays (FPGAs) leads to the following remark: in these circuits, the proportion of silicon devoted to r...
124
click to vote
SIBGRAPI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a novel image-based approach to render plausible soft shadows for complex dynamic scenes with rectangular light sources. The algorithm's performance is mo...