Sciweavers

1134 search results - page 103 / 227
» Composing Tests from Examples
Sort
View
LREC
2008
122views Education» more  LREC 2008»
15 years 20 days ago
Authorship Identification of Romanian Texts with Controversial Paternity
In this work we propose a new strategy for the authorship identification problem and we test it on an example from Romanian literature: did Radu Albala found the continuation of M...
Liviu Dinu, Marius Popescu, Anca Dinu
WCE
2007
15 years 12 days ago
Game Theory Using Genetic Algorithms
—In this paper we used genetic algorithms to1 find the solution of game theory. We proposed new method foe solving game theory and find the optimal strategy for player A or playe...
Ismail A. Ismail, Nabawia A. El Ramly, M. M. El Ka...
ICIP
1997
IEEE
16 years 23 days ago
Segmentation of Compressed Documents
We present a novel technique for segmentation of a JPEGcompressed documentbased on block activity. The activity is measured as the number of bits spent to encode each block. Each ...
Ricardo L. de Queiroz, Reiner Eschbach
ICPR
2004
IEEE
16 years 10 days ago
Building Detection by Dempster-Shafer Fusion of LIDAR Data and Multispectral Aerial Imagery
A method for the classification of land cover in urban areas by the fusion of first and last pulse LIDAR data and multi-spectral images is presented. Apart from buildings, the cla...
Brian C. Lovell, Franz Rottensteiner, John Trinder...
SEFM
2007
IEEE
15 years 5 months ago
Proving Termination by Divergence
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byr...