3116 search results - page 350 / 624 » Positively dependent types |
185
click to vote
IEEECIT
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software clustering is a method for increasing software system understanding and maintenance. Software designers, first use MDG graph to model the structure of software system. ...
178
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of automatically discovering semantic associations between schema elements, namely foreign keys. This problem is important in all applications where data sets...
193
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...
160
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
174
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
Recognition of objects in highly structured surroundings is a challenging task, because the appearance of target objects changes due to fluctuations in their surroundings. This ma...