Sciweavers

29908 search results - page 342 / 5982
» On the Complexity of
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
The Shortcut Problem - Complexity and Approximation
During the last years, speed-up techniques for DIJKSTRA’s algorithm have been developed that make the computation of shortest paths a matter of microseconds even on huge road net...
Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delli...
STACS
2010
Springer
16 years 1 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson
PROPOR
2010
Springer
278views Languages» more  PROPOR 2010»
16 years 1 months ago
Translating from Complex to Simplified Sentences
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
Lucia Specia
ECBS
2009
IEEE
120views Hardware» more  ECBS 2009»
16 years 1 months ago
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
Jonathan Tate, Iain Bate
SAC
2009
ACM
16 years 1 months ago
On the practical importance of communication complexity for secure multi-party computation protocols
Many advancements in the area of Secure Multi-Party Computation (SMC) protocols use improvements in communication complexity as a justification. We conducted an experimental stud...
Florian Kerschbaum, Daniel Dahlmeier, Axel Schr&ou...