Sciweavers

2018 search results - page 221 / 404
» Code Normal Forms
Sort
View
ICMCS
2006
IEEE
371views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Automatic Counting of Interacting People by using a Single Uncalibrated Camera
Automatic counting of people, entering or exiting a region of interest, is very important for both business and security applications. This paper introduces an automatic and robus...
Senem Velipasalar, Ying-li Tian, Arun Hampapur
INFOCOM
2006
IEEE
15 years 8 months ago
Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
Liqian Luo, Tian He, Gang Zhou, Lin Gu, Tarek F. A...
VTC
2006
IEEE
15 years 8 months ago
Transmitter-Based Pre-Processing for OFDM-CDMA Forward-Link Systems with Two-Dimensional Spreading
—Transmitter-based signal pre-processing is investigated for the two-dimensional (2-D) OFDM-CDMA (orthogonal frequency division multiplexing, code division multiple access) forwa...
Chih-Cheng Kuo, Wern-Ho Sheen, Chung-Ju Chang, Cha...
ERLANG
2006
ACM
15 years 8 months ago
Model checking erlang programs: the functional approach
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
Lars-Åke Fredlund, Clara Benac Earle
PCI
2005
Springer
15 years 7 months ago
Initial Experiences Porting a Bioinformatics Application to a Graphics Processor
Bioinformatics applications are one of the most relevant and compute-demanding applications today. While normally these applications are executed on clusters or dedicated parallel ...
Maria Charalambous, Pedro Trancoso, Alexandros Sta...