Sciweavers

56
Voted
CORR
2007
Springer
49views Education» more  CORR 2007»
15 years 3 months ago
On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling
Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, ...
101
Voted
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 3 months ago
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
Krzysztof R. Apt, Jonathan A. Zvesper
55
Voted
CORR
2007
Springer
85views Education» more  CORR 2007»
15 years 3 months ago
P-matrix recognition is co-NP-complete
Jan Foniok
52
Voted
CORR
2007
Springer
59views Education» more  CORR 2007»
15 years 3 months ago
Using Synchronic and Diachronic Relations for Summarizing Multiple Documents Describing Evolving Events
Stergos D. Afantenos, Vangelis Karkaletsis, Panagi...
90
Voted
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 3 months ago
Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder
Francis Klay, Judson Santiago, Laurent Vigneron
135
Voted
CORR
2007
Springer
119views Education» more  CORR 2007»
15 years 3 months ago
Using Description Logics for Recognising Textual Entailment
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
Paul Bedaride
120
Voted
CORR
2007
Springer
88views Education» more  CORR 2007»
15 years 3 months ago
A generic attack to ciphers
In this paper, we present a generic attack for ciphers, which is in essence a collision attack on the secret keys of ciphers .
An-Ping Li
105
Voted
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 3 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
120
Voted
CORR
2007
Springer
109views Education» more  CORR 2007»
15 years 3 months ago
Consistency of trace norm minimization
Regularization by the sum of singular values, also referred to as the trace norm, is a popular technique for estimating low rank rectangular matrices. In this paper, we extend som...
Francis Bach
116
Voted
CORR
2007
Springer
138views Education» more  CORR 2007»
15 years 3 months ago
Capacity of Linear Two-hop Mesh Networks with Rate Splitting, Decode-and-forward Relaying and Cooperation
— A linear mesh network is considered in which a single user per cell communicates to a local base station via a dedicated relay (two-hop communication). Exploiting the possibly ...
Osvaldo Simeone, Oren Somekh, Yeheskel Bar-Ness, H...