2024 search results - page 240 / 405 » The Meaning of Ordered SOS |
165
click to vote
EUROSPI
2005
Springer
16 years 7 days ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
156
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
193
click to vote
GEOS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
122
click to vote
ISRR
2005
Springer
16 years 7 days ago
2005
Springer
We are concerned here with improving long range stereo by filtering image sequences. Traditionally, measurement errors from stereo camera systems have been approximated as 3-D Gau...
125
click to vote
MHCI
2005
Springer
16 years 6 days ago
2005
Springer
Handheld computing devices are becoming highly connected devices with high capacity storage. This has resulted in their being able to support storage of, and access to, personal p...