3790 search results - page 534 / 758 » Advances in Mixture Models |
180
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
208
click to vote
ETRICS
2006
15 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
227
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
With advances in reconfigurable hardware, especially field-programmable gate arrays (FPGAs), it has become possible to use reconfigurable hardware to accelerate complex applicatio...
236
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
209
click to vote
SBIA
2000
Springer
15 years 10 months ago
2000
Springer
In recent years, the Natural Language Processing scene has witnessed the steady growth of interest in connectionist modeling. The main appeal of such an approach is that one does n...