2119 search results - page 144 / 424 » Structure-Preserving Model Reduction |
116
click to vote
AAAI
2008
15 years 5 months ago
2008
For many machine learning solutions to complex applications, there are significant performance advantages to decomposing the overall task into several simpler sequential stages, c...
137
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
ACL
2008
15 years 4 months ago
2008
Frequency counts from very large corpora, such as the Web 1T dataset, have recently become available for language modeling. Omission of low frequency n-gram counts is a practical ...
132
click to vote
FMOODS
2007
15 years 4 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
102
click to vote
MVA
1992
15 years 4 months ago
1992
component of the reflection has been considered (2, This paper propose a hierarchical design method of camera and light-source positioning for model based vision. In this method, f...