4850 search results - page 827 / 970 » Proof and Computation in Geometry |
171
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
180
click to vote
CPAIOR
2007
Springer
16 years 20 days ago
2007
Springer
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
178
click to vote
DCOSS
2007
Springer
16 years 20 days ago
2007
Springer
In self-organizing networks of battery-powered wireless sensors that can sense, process, and communicate, energy is the most crucial and scarce resource. However, since sensor netw...
250
click to vote
DSOM
2007
Springer
16 years 20 days ago
2007
Springer
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
151
click to vote
OTM
2007
Springer
16 years 19 days ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...