Sciweavers

21430 search results - page 3888 / 4286
» Abstract Effective Models
Sort
View
179
Voted
DNIS
2007
Springer
132views Database» more  DNIS 2007»
15 years 9 months ago
LEASE: An Economic Approach to Leasing Data Items in Mobile-P2P Networks to Improve Data Availability
Abstract. This work proposes LEASE, a novel Mobile-P2P lease-based economic incentive model, in which data requestors need to pay the price (in virtual currency) of their requested...
Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsur...
143
Voted
ECCV
2010
Springer
15 years 9 months ago
Max-Margin Dictionary Learning for Multiclass Image Categorization
Abstract. Visual dictionary learning and base (binary) classifier training are two basic problems for the recently most popular image categorization framework, which is based on t...
CONCUR
2009
Springer
15 years 9 months ago
Time-Bounded Verification
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
Joël Ouaknine, Alexander Rabinovich, James Wo...
ECML
2007
Springer
15 years 9 months ago
Ensembles of Multi-Objective Decision Trees
Abstract. Ensemble methods are able to improve the predictive performance of many base classifiers. Up till now, they have been applied to classifiers that predict a single target ...
Dragi Kocev, Celine Vens, Jan Struyf, Saso Dzerosk...
110
Voted
CAV
2010
Springer
243views Hardware» more  CAV 2010»
15 years 9 months ago
libalf: The Automata Learning Framework
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
« Prev « First page 3888 / 4286 Last » Next »