Sciweavers

2539 search results - page 252 / 508
» Debugging Method Names
Sort
View
ISOLA
2004
Springer
15 years 8 months ago
A Rule Markup Language and its application to UML
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
Joost Jacob
SAT
2004
Springer
113views Hardware» more  SAT 2004»
15 years 8 months ago
Clause Form Conversions for Boolean Circuits
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
Paul Jackson, Daniel Sheridan
ICDAR
2003
IEEE
15 years 8 months ago
HMM Based Approach for Handwritten Arabic Word Recognition Using the IFN/ENIT- Database
An offline recognition system for Arabic handwritten words is presented. The recognition system is based on a semi-continuous 1-dimensional HMM. From each binary word image norma...
Mario Pechwitz, Volker Märgner
ICDM
2003
IEEE
105views Data Mining» more  ICDM 2003»
15 years 8 months ago
SVM Based Models for Predicting Foreign Currency Exchange Rates
Support vector machine (SVM) has appeared as a powerful tool for forecasting forex market and demonstrated better performance over other methods, e.g., neural network or ARIMA bas...
Joarder Kamruzzaman, Ruhul A. Sarker, Iftekhar Ahm...
MM
2003
ACM
79views Multimedia» more  MM 2003»
15 years 8 months ago
Hierarchical topical segmentation in instructional films based on cinematic expressive functions
In this paper, we propose a novel solution for segmenting an instructional video into hierarchical topical sections. Incorporating the knowledge of education-oriented film theory...
Dinh Q. Phung, Svetha Venkatesh, Chitra Dorai