Sciweavers

1516 search results - page 4 / 304
» Generalizing Indexical-Functional Reference
Sort
View
MSCS
2010
86views more  MSCS 2010»
13 years 6 months ago
Realisability semantics of parametric polymorphism, general references and recursive types
tations of imperative abstract data types.
Lars Birkedal, Kristian Støvring, Jacob Tha...
TNN
2010
143views Management» more  TNN 2010»
13 years 3 months ago
Using unsupervised analysis to constrain generalization bounds for support vector classifiers
Abstract--A crucial issue in designing learning machines is to select the correct model parameters. When the number of available samples is small, theoretical sample-based generali...
Sergio Decherchi, Sandro Ridella, Rodolfo Zunino, ...
IOR
2011
133views more  IOR 2011»
13 years 3 months ago
Finite Disjunctive Programming Characterizations for General Mixed-Integer Linear Programs
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
Binyuan Chen, Simge Küçükyavuz, S...
LREC
2010
139views Education» more  LREC 2010»
13 years 9 months ago
The German Reference Corpus DeReKo: A Primordial Sample for Linguistic Research
This paper describes DEREKO (DEUTSCHES REFERENZKORPUS), the Archive of General Reference Corpora of Contemporary Written German at the Institut f
Marc Kupietz, Cyril Belica, Holger Keibel, Andreas...
SEMWEB
2007
Springer
14 years 2 months ago
Enabling the Semantic Web with Ready-to-Use Web Widgets
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
Eetu Mäkelä, Kim Viljanen, Olli Alm, Jou...