6239 search results - page 1048 / 1248 » From Zinc to Design Model |
192
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper we present a novel fast multi-cues based car detection technique in still outdoor images. On the bottom level, two novel area templates based on edge cue and interes...
326
click to vote
GIS
2003
ACM
16 years 7 months ago
2003
ACM
This paper introduces an approach for closer integration of selforganizing maps into the visualization of spatio-temporal phenomena in GIS. It is proposed to provide a more explic...
167
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
We illustrate how technical contributions in the VLSI CAD partitioning literature can fail to provide one or more of: (i) reproducible results and descriptions, (ii) an enabling a...
158
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We extend in this paper the concept of the P-admissible floorplan representation to that of the P*-admissible one. A P*-admissible representation can model the most general floorp...
173
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...