4126 search results - page 69 / 826 » Relationships with other Formalisms |
162
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
138
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
157
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
129
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
184
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...