2932 search results - page 325 / 587 » Higher order mining |
150
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
A video Cut Detector (CD), a member of the Shot Boundary Detector (SBD) group, is an essential element for spatio-temporal audiovisual (AV) segmentation and various video-processi...
157
click to vote
ICMCS
2005
IEEE
16 years 8 days 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...
142
click to vote
COSIT
2005
Springer
16 years 6 days 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...
168
click to vote
FROCOS
2005
Springer
16 years 5 days 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...
140
click to vote
FSTTCS
2005
Springer
16 years 5 days 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...