Sciweavers

ICSE
2012
IEEE-ACM
11 years 7 months ago
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jan...
ICCSA
2011
Springer
12 years 8 months ago
On the Parametric Representation of Dynamic Geometry Constructions
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
Francisco Botana
JSAT
2010
87views more  JSAT 2010»
12 years 11 months ago
The Sat4j library, release 2.2
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
Daniel Le Berre, Anne Parrain
IGPL
2011
12 years 11 months ago
J-MADeM, a market-based model for complex decision problems
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
JMLR
2008
84views more  JMLR 2008»
13 years 4 months ago
LIBLINEAR: A Library for Large Linear Classification
LIBLINEAR is an open source library for large-scale linear classification. It supports logistic regression and linear support vector machines. We provide easy-to-use command-line ...
Rong-En Fan, Kai-Wei Chang, Cho-Jui Hsieh, Xiang-R...
INCDM
2010
Springer
308views Data Mining» more  INCDM 2010»
13 years 6 months ago
Data Mining with Neural Networks and Support Vector Machines Using the R/rminer Tool
We present rminer, our open source library for the R tool that facilitates the use of data mining (DM) algorithms, such as neural Networks (NNs) and support vector machines (SVMs),...
Paulo Cortez