3943 search results - page 346 / 789 » Architecture-Level Requirements Specification |
188
click to vote
PSTV
1993
15 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
151
click to vote
ANLP
1992
15 years 8 months ago
1992
This paper describes the approach followed in the development of the linguistic processor of the continuous speech dialog system implemented at our labs. The application scenario ...
216
click to vote
NIPS
1992
15 years 8 months ago
1992
This paper describes a technique for learning both the number of states and the topologyof Hidden Markov Models from examples. The inductionprocess starts with the most specific m...
161
click to vote
HAIS
2008
Springer
15 years 8 months ago
2008
Springer
The continuous advances in genomics, and specifically in the field of transcriptome, require novel computational solutions capable of dealing with great amounts of data. Each expre...
150
click to vote
ANOR
2010
15 years 7 months ago
2010
This paper provides a new framework for the derivation and estimation of consumption and the equity premium functions. The novelty in our approach is that it does not require the ...