1686 search results - page 174 / 338 » Higher Order Deforestation |
126
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Scalable shape encoding is an important requirement of highly scalable object-based video coding. In this paper, a new scalable vertex-based shape coding scheme is proposed that u...
116
click to vote
COSIT
2005
Springer
15 years 10 months ago
2005
Springer
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...
136
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
118
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
138
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...