3993 search results - page 182 / 799 » Matchmaking for Structured Objects |
220
Voted
GIS
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...
123
Voted
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
114
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
133
Voted
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
120
Voted
SWSTE
2005
IEEE
15 years 9 months ago
2005
IEEE
Flash memory is a type of electrically erasable programmable read-only memory (EEPROM). Because flash memories are nonvolatile and relatively dense, they are now used to store ...