5525 search results - page 552 / 1105 » Verification of Model Transformations |
190
click to vote
FORMATS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
185
click to vote
DAGM
2004
Springer
16 years 18 days ago
2004
Springer
We present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of p...
201
click to vote
SEMWEB
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. RDF Graphs are sets of assertions in the form of subjectpredicate-object triples of information resources. Although for simple examples they can be understood intuitively...
168
click to vote
SSPR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, a statistical clustering model and algorithm have been discussed. Finding the optimal solution to clustering problem is transformed into simulating the equilibrium ...
190
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
A commonly encountered problem when creating 3D models of large real scenes is unnatural color texture fusion. Due to variations in lighting and camera settings (both manual and a...