Sciweavers

335 search results - page 2 / 67
» Analysis of application performance and its change via repre...
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
13 years 4 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
JMLR
2006
138views more  JMLR 2006»
13 years 4 months ago
Noisy-OR Component Analysis and its Application to Link Analysis
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
Tomás Singliar, Milos Hauskrecht
PAMI
2006
137views more  PAMI 2006»
13 years 4 months ago
Meticulously Detailed Eye Region Model and Its Application to Analysis of Facial Images
We propose a system that is capable of detailed analysis of eye region images in terms of the position of the iris, degree of eyelid opening, and the shape, complexity, and texture...
Tsuyoshi Moriyama, Takeo Kanade, Jing Xiao, Jeffre...
PAMI
2010
162views more  PAMI 2010»
12 years 11 months ago
Differential Earth Mover's Distance with Its Applications to Visual Tracking
The Earth Mover's Distance (EMD) is a similarity measure that captures perceptual difference between two distributions. Its computational complexity, however, prevents a direc...
Qi Zhao, Zhi Yang, Hai Tao
CW
2008
IEEE
13 years 11 months ago
Construction of Autostereograms Taking into Account Object Colors and Its Applications for Steganography
Information on appearances of three-dimensional objects are transmitted via the Internet, and displaying objects plays an important role in a lot of areas such as movies and video...
Yusuke Tsuda, Yonghao Yue, Tomoyuki Nishita