3984 search results - page 400 / 797 » A Model-Driven Transformation Method |
164
click to vote
SDL
2001
15 years 8 months ago
2001
The purpose of this paper is to describe how computer-aided test generation methods can benefit from the time features and extensions to MSC, SDL and TTCN which are either already ...
121
click to vote
ANLP
2000
15 years 8 months ago
2000
A long-standing issue regarding algorithms that manipulate context-free grammars (CFGs) in a "top-down" leftto-right fashion is that left recursion can lead to nontermin...
182
click to vote
AIML
1998
15 years 8 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
164
click to vote
UAI
1998
15 years 8 months ago
1998
We take another look at the general problem of selecting a preferred probability measure among those that comply with some given constraints. The dominant role that entropy maximi...
166
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
A new method is introduced that makes use of sparse image representations to search for approximate nearest neighbors (ANN) under the normalized inner-product distance. The approa...