1716 search results - page 267 / 344 » Generating models for temporal representations |
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
ATAL
2011
Springer
12 years 9 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
This paper describes a novel approach to 3D motion estimation of planar objects based on eigennormalization, Expansion Matching (EXM) and a scaled orthographic projection model. O...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Multi-site scheduling deals with the scheduling problems of an enterprise with several distributed production sites, where sites are using the intermediate products of other sites...
ICVGIP
2008
13 years 10 months ago
2008
In recent years, the subject of occlusion culling of large 3D environments has received substantial contribution. However the major amount of research into the area has focussed o...