3381 search results - page 131 / 677 » Extending Dependencies with Conditions |
208
click to vote
IGARSS
2009
15 years 4 months ago
2009
The effects of shadow in remote sensing imagery are investigated. The measurement of radiance in sunlit and shadowed areas was carried out to investigate the spectral characterist...
165
click to vote
IWPC
2006
IEEE
16 years 13 days ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
151
click to vote
MSCS
2008
15 years 6 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
137
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
169
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...