Sciweavers

5414 search results - page 944 / 1083
» Data representation synthesis
Sort
View
WOWMOM
2000
ACM
96views Multimedia» more  WOWMOM 2000»
15 years 8 months ago
An integrated mobility and traffic model for resource allocation in wireless networks
In a wireless communications network, the movement of mobile users presents significant technical challenges to providing efficient access to the wired broadband network. In this ...
Hisashi Kobayashi, Shun-Zheng Yu, Brian L. Mark
CVPR
2010
IEEE
15 years 8 months ago
Multilinear Feature Extraction and Classification of Multi-Focal Images, With Applications in Nematode Taxonomy
In this paper, we present a 3D X-Ray Transform based multilinear feature extraction and classification method for Digital Multi-focal Images (DMI). In such images, morphological i...
Min Liu, Amit Roy-Chowdhury
ICDE
2010
IEEE
176views Database» more  ICDE 2010»
15 years 8 months ago
Efficient fuzzy type-ahead search in TASTIER
TASTIER is a research project on the new information-access paradigm called type-ahead search, in which systems find answers to a keyword query on-the-fly as users type in the quer...
Guoliang Li, Shengyue Ji, Chen Li, Jiannan Wang, J...
DAC
1999
ACM
15 years 8 months ago
Using Lower Bounds During Dynamic BDD Minimization
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
Rolf Drechsler, Wolfgang Günther
DATE
1999
IEEE
134views Hardware» more  DATE 1999»
15 years 8 months ago
Verifying Imprecisely Working Arithmetic Circuits
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
Michaela Huhn, Klaus Schneider, Thomas Kropf, Geor...