1638 search results - page 125 / 328 » Properties of input-consuming derivations |
IFL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
75
Voted
SIBGRAPI
2003
IEEE
15 years 3 months ago
2003
IEEE
A physically-based deformable model proposed by Terzopoulous et al. is governed by the Lagrange’s form, that establishes the relation between the dynamics of deformable models un...
62
Voted
CVPR
2007
IEEE
16 years 5 days ago
2007
IEEE
The non-negativity of color signals implies that they span a conical space with a hyperbolic geometry. We use perspective projections to separate intensity from chromaticity, and ...
IFM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
ATMOS
2008
14 years 11 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...