654 search results - page 92 / 131 » Ordered Sets and Complete Lattices |
ADHOCNETS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper addresses the detection and reporting of abnormal building access with a wireless sensor network. A common office room, offering space for two working persons...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
– In this paper we present a distributed, self-organizing, localization method for wireless sensors and a scheme for reducing position estimate errors by employing a novel concep...
SIBGRAPI
2008
IEEE
14 years 2 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...