Sciweavers

1684 search results - page 188 / 337
» The lexicographic decision function
Sort
View
FOCS
2006
IEEE
15 years 6 months ago
On the Compressibility of NP Instances and Cryptographic Applications
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
Danny Harnik, Moni Naor
97
Voted
LREC
2010
160views Education» more  LREC 2010»
15 years 2 months ago
FrAG, a Hybrid Constraint Grammar Parser for French
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
Eckhard Bick
112
Voted
CORR
2008
Springer
158views Education» more  CORR 2008»
15 years 27 days ago
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
This paper is an exploration in a functional programming framework of isomorphisms between elementary data types (natural numbers, sets, finite functions, permutations binary deci...
Paul Tarau
MP
2010
128views more  MP 2010»
14 years 11 months ago
Perspective reformulations of mixed integer nonlinear programs with indicator variables
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
Oktay Günlük, Jeff Linderoth
194
Voted
ICDE
2008
IEEE
117views Database» more  ICDE 2008»
16 years 2 months ago
MOOLAP: Towards Multi-Objective OLAP
Aggregation is among the core functionalities of OLAP systems. Frequently, such queries are issued in decision support systems to identify interesting groups of data. When more tha...
Shyam Antony, Ping Wu, Divyakant Agrawal, Amr El A...