Sciweavers

4850 search results - page 270 / 970
» Proof and Computation in Geometry
Sort
View
MP
1998
105views more  MP 1998»
15 years 6 months ago
Capacitated facility location: Separation algorithms and computational experience
We consider the polyhedral approach to solving the capacitated facility location problem. The valid inequalities considered are the knapsack, ow cover, e ective capacity, single d...
Karen Aardal
188
Voted
BIRTHDAY
2010
Springer
15 years 11 months ago
The Arrow of Time through the Lens of Computing
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
Krishna V. Palem
SSS
2009
Springer
195views Control Systems» more  SSS 2009»
16 years 1 months ago
Anonymous Transactions in Computer Networks
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
Shlomi Dolev, Marina Kopeetsky
CVPR
2007
IEEE
16 years 8 months ago
Microphone Arrays as Generalized Cameras for Integrated Audio Visual Processing
Combinations of microphones and cameras allow the joint audio visual sensing of a scene. Such arrangements of sensors are common in biological organisms and in applications such a...
Adam O'Donovan, Ramani Duraiswami, Jan Neumann
ICPR
2008
IEEE
16 years 1 months ago
A hybrid approach to gender classification from face images
Recently, gender classification from face images has attracted a great deal of attention. It can be useful in many places. In this paper, a novel hybrid face coding method by fusi...
Ziyi Xu, Li Lu, Pengfei Shi