1306 search results - page 70 / 262 » A Diagrammatic Approach to Model Completion |
80
Voted
WSC
1998
15 years 1 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
111
Voted
ENGL
2008
15 years 19 days ago
2008
Abstract--The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete schem...
108
click to vote
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper explores a formulation for attributed graph matching as an inference problem over a hidden Markov Random Field. We approximate the fully connected model with simpler mo...
111
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
114
click to vote
OZCHI
2009
ACM
15 years 5 months ago
2009
ACM
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...