2119 search results - page 373 / 424 » Structure-Preserving Model Reduction |
158
Voted
TACAS
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
141
click to vote
EMNLP
2009
15 years 17 days ago
2009
Traditionally, machine learning approaches for information extraction require human annotated data that can be costly and time-consuming to produce. However, in many cases, there ...
184
Voted
ICPP
2009
IEEE
15 years 15 days ago
2009
IEEE
This paper evaluates several techniques to save leakage in CMP L2 caches by selectively switching off the less used lines. We primarily focus on private snoopy L2 caches. In this c...
125
Voted
AIRS
2010
Springer
15 years 6 days ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
107
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The Hopper-Blum (HB) protocol, which uses noised linear parities of a shared key for authentication, has been proposed for light-weight applications such as RFID. Recently, algorit...