1382 search results - page 151 / 277 » Procedural Generation of Roads |
102
click to vote
CC
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
DAS
1998
Springer
15 years 2 months ago
1998
Springer
Numerous approaches, including textual, structural and featural, to detecting duplicate documents have been investigated. Considering document images are usually stored and transm...
HYBRID
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents new results on switching control using neural networks. Given a set of candidate controllers, a pair of neural networks is trained to identify the stability reg...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
102
click to vote
RTSS
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....