1496 search results - page 144 / 300 » Definability of Initial Segments |
124
click to vote
ISIPTA
1999
IEEE
15 years 9 months ago
1999
IEEE
We consider discrete possibilistic systems for which the available information is given by one-step transition possibilities and initial possibilities. These systems can be repres...
147
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We describe a new approach to fit the polyhedron describing a 3D building model to the point cloud of a Digital Elevation Model (DEM). We introduce a new kinetic framework that hi...
135
click to vote
PE
2002
Springer
15 years 4 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
152
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Some recent initiatives try to take profit from RDF to make XML documents interoperate at the semantic level. Ontologies are used to establish semantic connections among XML langu...
147
click to vote
ASM
2003
ASM
15 years 10 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...