271 search results - page 44 / 55 » Procedural Urban Modeling in Practice |
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
ICTAI
2005
IEEE
14 years 3 months ago
2005
IEEE
Learning from noisy data is a challenging and reality issue for real-world data mining applications. Common practices include data cleansing, error detection and classifier ensemb...
ATVA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper argues that ļ¬atness appears as a central notion in the veriļ¬cation of counter automata. A counter automaton is called ļ¬at when its control graph can be ā...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Genetic algorithms require relatively large computation time to solve optimization problems, especially in VLSI CAD such as module placement. Therefore, island-based parallel GAs a...
LSO
2004
Springer
14 years 3 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...