221 search results - page 31 / 45 » Heyting Algebras and Formal Languages |
116
click to vote
JUCS
2008
15 years 11 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...
119
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
107
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
100
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
115
Voted
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...