Sciweavers

48 search results - page 4 / 10
» Deducibility Constraints
Sort
View
CSCLP
2006
Springer
13 years 11 months ago
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
Marc Meister, Khalil Djelloul, Thom W. Frühwi...
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 7 months ago
Multi-Unit Auctions: Beyond Roberts
We exhibit incentive compatible multi-unit auctions that are not affine maximizers (i.e. are not of the VCG family) and yet approximate the social welfare to within a factor of 1 ...
Shahar Dobzinski, Noam Nisan
ADHOC
2006
100views more  ADHOC 2006»
13 years 7 months ago
Radio range adjustment for energy efficient wireless sensor networks
In wireless ad hoc sensor networks, energy use is in many cases the most important constraint since it corresponds directly to operational lifetime. Topology management schemes su...
Quang Gao, Keith J. Blow, David J. Holding, Ian W....
NAACL
2010
13 years 5 months ago
Learning Translation Boundaries for Phrase-Based Decoding
Constrained decoding is of great importance not only for speed but also for translation quality. Previous efforts explore soft syntactic constraints which are based on constituent...
Deyi Xiong, Min Zhang, Haizhou Li
SAPIR
2004
Springer
14 years 22 days ago
Considerations on Inter-domain QoS and Traffic Engineering Issues Through a Utopian Approach
End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended...
Pierre Levis, Abolghasem (Hamid) Asgari, Panos Tri...