Sciweavers

5009 search results - page 44 / 1002
» Value chain modelling using system dynamics
Sort
View
ICMCS
2006
IEEE
113views Multimedia» more  ICMCS 2006»
14 years 4 months ago
Steganalysis based on Markov Model of Thresholded Prediction-Error Image
A steganalysis system based on 2-D Markov chain of thresholded prediction-error image is proposed in this paper. Image pixels are predicted with their neighboring pixels, and the ...
Dekun Zou, Yun Q. Shi, Wei Su, Guorong Xuan
CVPR
2007
IEEE
14 years 12 months ago
Epitomic Representation of Human Activities
We introduce an epitomic representation for modeling human activities in video sequences. A video sequence is divided into segments within which the dynamics of objects is assumed...
Naresh P. Cuntoor, Rama Chellappa
ENTCS
2000
109views more  ENTCS 2000»
13 years 9 months ago
Forward and Backward Chaining in Linear Logic
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
James Harland, David J. Pym, Michael Winikoff
CONCUR
2003
Springer
14 years 3 months ago
Multi-Valued Model Checking via Classical Model Checking
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
Arie Gurfinkel, Marsha Chechik
EUROSSC
2007
Springer
14 years 4 months ago
Behavior Detection Based on Touched Objects with Dynamic Threshold Determination Model
We are developing a context-aware application for use in homes, which detects high-level user behavior, such as “leaving the home” and “going to bed”, and provides services...
Hiroyuki Yamahara, Hideyuki Takada, Hiromitsu Shim...