1788 search results - page 51 / 358 » Model Theory for Process Algebra |
117
Voted
RSKT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
101
Voted
JUCS
2000
15 years 11 days ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
98
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
116
click to vote
JUCS
2008
15 years 17 days ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
124
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...