2409 search results - page 277 / 482 » Logical systems for structured specifications |
142
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
167
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents a new method for constructing compact statistical point-based models of ensembles of similar shapes that does not rely on any specific surface parameterization....
156
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
143
click to vote
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
With the increasing size and sophistication of circuits and specifically in the presence of IP blocks, new wirelength estimation methods are needed in the design flow of large-sca...
159
click to vote
COLING
1990
15 years 5 months ago
1990
Our goal is to explore methods for combining structured but incomplete information from dictionaries with the unstructured but more complete information available in corpora for t...