4126 search results - page 672 / 826 » Relationships with other Formalisms |
223
click to vote
GISCIENCE
2010
Springer
15 years 6 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
150
click to vote
BIB
2008
15 years 6 months ago
2008
A major challenge facing biodiversity informatics is integrating data stored in widely distributed databases. Initial efforts have relied on taxonomic names as the shared identifi...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...