351 search results - page 37 / 71 » Logics Capturing Local Properties |
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
VAMOS
2008
Springer
13 years 10 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
IRI
2003
IEEE
14 years 2 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
JMIV
2006
13 years 8 months ago
2006
In this paper, we present some adaptive wavelet decompositions that can capture the directional nature of images. Our method exploits the properties of seminorms to build lifting s...
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
Bi-clustering is a promising conceptual clustering approach. Within categorical data, it provides a collection of (possibly overlapping) bi-clusters, i.e., linked clusters for both...