3116 search results - page 102 / 624 » Positively dependent types |
146
click to vote
TROB
2008
15 years 4 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
133
click to vote
PAMI
2007
15 years 3 months ago
2007
—We consider the problem of matching images to tell whether they come from the same scene viewed under different lighting conditions. We show that the surface characteristics det...
131
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
165
click to vote
IGARSS
2009
15 years 1 months ago
2009
Supervised learners can be used to automatically classify many types of spatially distributed data. For example, land cover classification by hyperspectral image data analysis is ...
106
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...