3639 search results - page 46 / 728 » Provenance as Dependency Analysis |
ICIP
1997
IEEE
15 years 11 months ago
1997
IEEE
Clustered microcalcifications on X-ray mammograms are an important feature in the detection of breast cancer. For the detection of the clustered microcalcifications on digitized m...
GVD
2004
14 years 11 months ago
2004
Caching is a proven means to improve scalability and availability of software systems as well as to reduce latency of user requests. In contrast to Web caching where single Web ob...
AI
2008
Springer
14 years 9 months ago
2008
Springer
Stochastic local search (SLS) algorithms have recently been proven to be among the best approaches to solving computationally hard problems. SLS algorithms typically have a number...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
ATAL
2009
Springer
14 years 10 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...