9325 search results - page 1561 / 1865 » The decentralized implementability problem |
141
click to vote
PC
2010
14 years 11 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
153
click to vote
PVLDB
2010
14 years 11 months ago
2010
Recent legislation has increased the requirements of organizations to report data breaches, or unauthorized access to data. While access control policies are used to restrict acce...
182
click to vote
TDP
2010
14 years 11 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
155
click to vote
TII
2010
14 years 11 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
153
click to vote
TIP
2010
14 years 11 months ago
2010
Abstract--Path openings and closings are morphological operations with flexible line segments as structuring elements. These line segments have the ability to adapt to local image ...