10891 search results - page 389 / 2179 » Combining Model Reductions |
162
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
144
Voted
ISVC
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a new method for projecting a mesh model of a source object onto a surface of an arbitrary target object. A deformable model, called Self-organizing Deformable ...
157
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We propose a novel probabilistic method based on the Hidden Markov Model (HMM) to learn the structure of a Latent Variable Model (LVM) for query language modeling. In the proposed...
145
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
179
Voted
CRIWG
1998
15 years 6 months ago
1998
The use of new technology must be combined with modern teaching practices to be effective. Collaborative learning is a general term employed for a variety of classroom practices d...