16626 search results - page 341 / 3326 » Computing is a natural science |
153
Voted
RTA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
197
click to vote
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
193
click to vote
WG
2005
Springer
16 years 9 days ago
2005
Springer
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
166
Voted
GG
2004
Springer
16 years 6 days ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
184
click to vote
GI
2004
Springer
16 years 6 days ago
2004
Springer
: The need for demand-driven and scaleable integration of heterogeneous data sources is inherent to the process of genome annotation. In this paper we describe the Gene-EYe archite...