1855 search results - page 82 / 371 » System Consequence |
125
click to vote
TCS
2008
15 years 3 months ago
2008
We study the computational power of pure insertion grammars. We show that pure insertion grammars of weight 3 can characterize all recursively enumerable languages. This is achiev...
119
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the i...
118
Voted
IANDC
2010
15 years 2 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
141
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
120
Voted
MMM
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...