4266 search results - page 87 / 854 » A Framework for Defining Logics |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
ICIW
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a framework to monitor information available dynamically on the Internet through web services, RSS feeds or dynamic HTML documents based on user defined crit...
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In speech recognition, phonemes have demonstrated their efficacy to model the words of a language. While they are well defined for languages, their extension to human act...
103
click to vote
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...