551 search results - page 59 / 111 » Realizability of Real-Time Logics |
160
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
186
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
128
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...
120
click to vote
ISMVL
1993
IEEE
15 years 10 months ago
1993
IEEE
Use of current-mode CMOS circuitsfor implementation of multiple-valued logic (MVL)functions has been considered in a number of recent papers. In this paper, we present an applicat...
150
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...