Sciweavers

4061 search results - page 600 / 813
» Framework Evolution Tool
Sort
View
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 9 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
HM
2009
Springer
145views Optimization» more  HM 2009»
15 years 9 months ago
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
We present a hybrid solver (called GELATO) that exploits the potentiality of a Constraint Programming (CP) environment (Gecode) and of a Local Search (LS) framework (EasyLocal++ )....
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovie...
ISCIS
2009
Springer
15 years 9 months ago
PopulusLog: People information database
—Information about individuals on publicly available web sites stands as a valuable, yet unorganized, data source. Turning such an enormous data source into a “database” is h...
Ali Cakmak, Mustafa Kirac, Gultekin Özsoyoglu
IFIP7
2001
Springer
137views Optimization» more  IFIP7 2001»
15 years 9 months ago
Data Mining via Support Vector Machines
Support vector machines (SVMs) have played a key role in broad classes of problems arising in various fields. Much more recently, SVMs have become the tool of choice for problems...
Olvi L. Mangasarian
121
Voted
RTCSA
2000
IEEE
15 years 9 months ago
ProtEx: a toolkit for the analysis of distributed real-time systems
Large-scale distributed real-time systems are increasingly difficult to analyze within the Rate Monotonic Analysis framework. This is due partly to their heterogeneity, complex i...
Yves Meylan, Aneema Bajpai, Riccardo Bettati