Sciweavers

200 search results - page 31 / 40
» A Global Algorithm for Model-Based Test Suite Generation
Sort
View
86
Voted
PRL
2008
137views more  PRL 2008»
14 years 9 months ago
On-line handwritten digit recognition based on trajectory and velocity modeling
The handwriting is one of the most familiar communication media. Pen based interface combined with automatic handwriting recognition offers a very easy and natural input method. T...
Monji Kherallah, Lobna Haddad, Adel M. Alimi, Amar...
80
Voted
ECOOP
2008
Springer
14 years 11 months ago
Computing Stack Maps with Interfaces
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
Frédéric Besson, Thomas P. Jensen, T...
53
Voted
JEA
2006
90views more  JEA 2006»
14 years 9 months ago
Heuristics for estimating contact area of supports in layered manufacturing
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...
Ivaylo Ilinkin, Ravi Janardan, Michiel H. M. Smid,...
CEC
2010
IEEE
14 years 10 months ago
Learning-assisted evolutionary search for scalable function optimization: LEM(ID3)
Inspired originally by the Learnable Evolution Model(LEM) [5], we investigate LEM(ID3), a hybrid of evolutionary search with ID3 decision tree learning. LEM(ID3) involves interleav...
Guleng Sheri, David Corne
WWW
2007
ACM
15 years 10 months ago
Page-level template detection via isotonic smoothing
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
Deepayan Chakrabarti, Ravi Kumar, Kunal Punera