Sciweavers

6650 search results - page 142 / 1330
» models 2009
Sort
View
CSFW
2009
IEEE
16 years 1 months ago
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
ICDAR
2009
IEEE
16 years 1 months ago
Integrating Language Model in Handwritten Chinese Text Recognition
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
Qiu-Feng Wang, Fei Yin, Cheng-Lin Liu
SAMT
2009
Springer
176views Multimedia» more  SAMT 2009»
16 years 1 months ago
Shape-Based Autotagging of 3D Models for Retrieval
This paper describes an automatic annotation, or autotagging, algorithm that attaches textual tags to 3D models based on their shape and semantic classes. The proposed method emplo...
Ryutarou Ohbuchi, Shun Kawamura
ICANN
2009
Springer
15 years 11 months ago
On the Knowledge Organization in Concept Formation: An Exploratory Cognitive Modeling Study
Abstract. Recent cognitive modeling studies suggest the effectiveness of metaheuristic optimization in describing human cognitive behaviors. Such models are built on the basis of p...
Toshihiko Matsuka, Hidehito Honda, Arieta Chouchou...
ICDAR
2009
IEEE
15 years 4 months ago
Stochastic Model of Stroke Order Variation
A stochastic model of stroke order variation is proposed and applied to the stroke-order free on-line Kanji character recognition. The proposed model is a hidden Markov model (HMM...
Yoshinori Katayama, Seiichi Uchida, Hiroaki Sakoe