4266 search results - page 87 / 854 » A Framework for Defining Logics |
146
click to vote
CONCUR
2010
Springer
15 years 5 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...
123
click to vote
ICIW
2008
IEEE
15 years 11 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...
168
click to vote
ACCV
2010
Springer
14 years 11 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...
170
click to vote
ICLP
2004
Springer
15 years 10 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...
126
click to vote
ESOP
2009
Springer
15 years 11 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...