Sciweavers

230 search results - page 36 / 46
» Information Space Gets Normal
Sort
View
ATVA
2008
Springer
104views Hardware» more  ATVA 2008»
13 years 11 months ago
A Direct Algorithm for Multi-valued Bounded Model Checking
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
Jefferson O. Andrade, Yukiyoshi Kameyama
ACL
2009
13 years 7 months ago
SMS based Interface for FAQ Retrieval
Short Messaging Service (SMS) is popularly used to provide information access to people on the move. This has resulted in the growth of SMS based Question Answering (QA) services....
Govind Kothari, Sumit Negi, Tanveer A. Faruquie, V...
ICIP
2002
IEEE
14 years 11 months ago
Video object articulation using depth-based content segmentation approaches
In this paper two efficient unsupervised video object segmentation approaches are proposed and then extensively compared in terms of computational cost and quality of segmentation...
Nikolaos D. Doulamis, Anastasios D. Doulamis, Stef...
ICPR
2000
IEEE
14 years 11 months ago
Sign of Gaussian Curvature from Eigen Plane Using Principal Components Analysis
This paper describes a new method to recover the sign of the local Gaussian curvature at each point on the visible surface of a 3-D object. Multiple (p > 3) shaded images are a...
Shinji Fukui, Yuji Iwahori, Akira Iwata, Robert J....
MMM
2007
Springer
128views Multimedia» more  MMM 2007»
14 years 4 months ago
Video Histogram: A Novel Video Signature for Efficient Web Video Duplicate Detection
The explosive growth of information technology and digital content industry stimulates various video applications over the Internet. Since it is quite easy to copy, reformat, modif...
Lu Liu, Wei Lai, Xian-Sheng Hua, Shi-Qiang Yang