Sciweavers

1789 search results - page 61 / 358
» New analysis and results for the Frank-Wolfe method
Sort
View
ICDAR
2005
IEEE
15 years 3 months ago
Language Identification of Character Images Using Machine Learning Techniques
In this paper, we propose a new approach for identifying the language type of character images. We do this by classifying individual character images to determine the language bou...
Ying-Ho Liu, Fu Chang, Chin-Chin Lin
ICANN
2005
Springer
15 years 3 months ago
Discriminative Common Images for Face Recognition
Linear discrimination analysis (LDA) technique is an important and well-developed area of image recognition and to date many linear discrimination methods have been put forward. Ba...
Vo Dinh Minh Nhat, Sungyoung Lee
GAMEON
2008
14 years 11 months ago
Automatable Evaluation Method Oriented toward Behaviour Believability for Video Games
Classic evaluation methods of believable agents are time-consuming because they involve many human to judge agents. They are well suited to validate work on new believable behavio...
Fabien Tencé, Cédric Buche
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 3 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
CHARME
2001
Springer
107views Hardware» more  CHARME 2001»
15 years 1 months ago
Using Combinatorial Optimization Methods for Quantification Scheduling
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...