1875 search results - page 28 / 375 » A Calculus of Broadcasting Systems |
JOLLI
2006
13 years 7 months ago
2006
This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
CLEIEJ
2004
13 years 7 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we discuss a haptically enhanced broadcasting system. Four stages of a proposed system are briefly analyzed: scene capture, edit, transmission, and display with ha...