Sciweavers

989 search results - page 59 / 198
» HowNet and Its Computation of Meaning
Sort
View
ICPP
2003
IEEE
15 years 9 months ago
Hardware-Assisted Design for Fast Packet Forwarding in Parallel Routers
A hardware-assisted design, dubbed cache-oriented multistage structure (COMS), is proposed for fast packet forwarding. COMS incorporates small on-chip cache memory in its constitu...
Nian-Feng Tzeng
ICPR
2006
IEEE
16 years 5 months ago
Nonparametric Background Generation
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...
Debin Zhao, Hongxun Yao, Wen Gao, Xilin Chen, Yazh...
CODES
2000
IEEE
15 years 8 months ago
Frequency interleaving as a codesign scheduling paradigm
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...
JoAnn M. Paul, Simon N. Peffers, Donald E. Thomas
DICTA
2008
15 years 5 months ago
Texture Descriptors via Stable Distributions
In this paper, we present a texture descriptor which hinges in the use of the local image statistics so as to recover a compact representation of the texture under study. To this ...
Pattaraporn Khuwuthyakorn, Antonio Robles-Kelly, J...
ENTCS
2006
153views more  ENTCS 2006»
15 years 4 months ago
Automatic Complexity Analysis for Programs Extracted from Coq Proof
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
Jean-Pierre Jouannaud, Weiwen Xu