2662 search results - page 362 / 533 » Objects-early tools: a demonstration |
FMSD
2002
14 years 10 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
91
Voted
JAIR
2002
14 years 10 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
102
click to vote
JIIS
2002
14 years 10 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
NECO
2002
14 years 10 months ago
2002
The present study introduces information-geometricmeasures to analyze neural ring patterns by taking not only the secondorder but also higher-order interactions among neurons into...
89
Voted
SIMULATION
1998
14 years 10 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...