8141 search results - page 334 / 1629 » Higher Order Generalization |
166
click to vote
DSD
2005
IEEE
16 years 10 days ago
2005
IEEE
Current paper presents new alternatives for accelerating the task of fault simulation for sequential circuits by hardware emulation on FPGA. Fault simulation is an important subta...
151
click to vote
ICMCS
2005
IEEE
16 years 9 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...
158
click to vote
ICMCS
2005
IEEE
16 years 9 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...
143
click to vote
COSIT
2005
Springer
16 years 7 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...
140
click to vote
FSTTCS
2005
Springer
16 years 7 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...