Sciweavers

3134 search results - page 221 / 627
» Computing full disjunctions
Sort
View
TIT
2002
116views more  TIT 2002»
15 years 3 months ago
On delayed prediction of individual sequences
Prediction of individual sequences is investigated for cases in which the decision maker observes a delayed version of the sequence, or is forced to issue his/her predictions a nu...
Marcelo J. Weinberger, Erik Ordentlich
JAPLL
2010
133views more  JAPLL 2010»
15 years 2 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez
EMNLP
2009
15 years 1 months ago
Stream-based Randomised Language Models for SMT
Randomised techniques allow very big language models to be represented succinctly. However, being batch-based they are unsuitable for modelling an unbounded stream of language whi...
Abby Levenberg, Miles Osborne
143
Voted
DASFAA
2009
IEEE
136views Database» more  DASFAA 2009»
15 years 10 months ago
A Two-Tire Index Structure for Approximate String Matching with Block Moves
Many applications need to solve the problem of approximate string matching with block moves. It is an NP-Complete problem to compute block edit distance between two strings. Our go...
Bin Wang, Long Xie, Guoren Wang
146
Voted
ECEASST
2010
14 years 11 months ago
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code gen...
Marina Egea, Carolina Dania, Manuel Clavel