Sciweavers

6153 search results - page 410 / 1231
» Modeling Cyclic Change
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
15 years 6 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...
PAMI
2006
137views more  PAMI 2006»
15 years 6 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...
IJON
2007
104views more  IJON 2007»
15 years 6 months ago
A probabilistic model of eye movements in concept formation
It has been unclear whether optimal experimental design accounts of data selection may offer insight into evidence acquisition tasks in which the learner’s beliefs change greatl...
Jonathan D. Nelson, Garrison W. Cottrell
TOG
2008
158views more  TOG 2008»
15 years 6 months ago
Lapped solid textures: filling a model with anisotropic textures
We present a method for representing solid objects with spatiallyvarying oriented textures by repeatedly pasting solid texture exemplars. The underlying concept is to extend the 2...
Kenshi Takayama, Makoto Okabe, Takashi Ijiri, Take...
ESWA
2007
127views more  ESWA 2007»
15 years 6 months ago
An anticipation model of potential customers' purchasing behavior based on clustering analysis and association rules analysis
This paper proposes an anticipation model of potential customers’ purchasing behavior. This model is inferred from past purchasing behavior of loyal customers and the web server...
Horng-Jinh Chang, Lun-Ping Hung, Chia-Ling Ho