Sciweavers

226 search results - page 9 / 46
» A Tutorial on Analog Computation: Computing Functions over t...
Sort
View
ATMOS
2007
129views Optimization» more  ATMOS 2007»
13 years 9 months ago
Solving a Real-World Train Unit Assignment Problem
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...
Valentina Cacchiani, Alberto Caprara, Paolo Toth
SIGMOD
2011
ACM
176views Database» more  SIGMOD 2011»
12 years 10 months ago
Sharing work in keyword search over databases
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...
Marie Jacob, Zachary G. Ives
EUROCRYPT
2008
Springer
13 years 9 months ago
New Constructions for UC Secure Computation Using Tamper-Proof Hardware
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
Nishanth Chandran, Vipul Goyal, Amit Sahai
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
ICPR
2004
IEEE
14 years 8 months ago
Grey Scale Image Skeletonisation from Noise-Damped Vector Potential
This paper describes a method for curvature dependant Skeletonisation in grey-scale images. We commence from a magnetostatic analogy, where the tangential edge flow (the cross pro...
Edwin R. Hancock, Huaijun Qiu