2050 search results - page 267 / 410 » constraints 2010 |
WINE
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we characterize strategy-proof voting rules when the set of alternatives has a multi-issue structure, and the voters' preferences are represented by acyclic CP-...
SCHEDULING
2010
13 years 8 months ago
2010
Lean Manufacturing often simply referred to as Lean is a process management philosophy that aims to improve the way in which products are manufactured. It does this through ide...
ACCV
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Full body performance capture is a promising emerging technology that has been intensively studied in Computer Graphics and Computer Vision over the last decade. Highly-d...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
PERCOM
2010
ACM
14 years 6 days ago
2010
ACM
This paper addresses the problem of engineering energy-efficient target detection applications using unattended Wireless Sensor Networks (WSNs) for long-lasting surveillance of are...