Sciweavers

1428 search results - page 29 / 286
» aim 2010
Sort
View
JCT
2010
65views more  JCT 2010»
13 years 5 months ago
Multiple cross-intersecting families of signed sets
A k-signed r-set on [n] = {1, ..., n} is an ordered pair (A, f), where A is an rsubset of [n] and f is a function from A to [k]. Families A1, ..., Ap are said to be cross-intersec...
Peter Borg, Imre Leader
SIGSOFT
2010
ACM
13 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
TCS
2010
13 years 5 months ago
Towards practical feasibility of core computation in data exchange
Abstract. Core computation in data exchange is concerned with materializing the minimal target database for a given source database. Gottlob and Nash have recently shown that the c...
Reinhard Pichler, Vadim Savenkov
VTC
2010
IEEE
177views Communications» more  VTC 2010»
13 years 5 months ago
Energy Optimization for Reliable Point-to-Point Communication in Energy-Constrained Networks
— Much work has been done aiming at minimization of energy consumption for transmission of information in energy constrained wireless networks. However, most of them assume uncod...
Felipe M. Costa, Hideki Ochiai
ACL
2010
13 years 5 months ago
Wrapping up a Summary: From Representation to Generation
The main focus of this work is to investigate robust ways for generating summaries from summary representations without recurring to simple sentence extraction and aiming at more ...
Josef Steinberger, Marco Turchi, Mijail Alexandrov...