2643 search results - page 263 / 529 » Higher order messaging |
164
click to vote
DSD
2005
IEEE
16 years 7 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...
150
click to vote
ICMCS
2005
IEEE
16 years 7 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 7 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 5 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...
167
click to vote
FROCOS
2005
Springer
16 years 4 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...