2016 search results - page 68 / 404 » Megamaps: Construction and Examples |
150
click to vote
ANSS
2001
IEEE
15 years 8 months ago
2001
IEEE
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
156
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
151
Voted
MPC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
156
Voted
ANTS
2008
Springer
15 years 6 months ago
2008
Springer
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degr...
131
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
This article presents results from experiments where a detector for defects in visual inspection images was learned from scratch by EANT2, a method for evolutionary reinforcement l...