18090 search results - page 211 / 3618 » Computing by Only Observing |
188
click to vote
CRYPTO
2012
Springer
13 years 8 months ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
163
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Critical points of a vector field are key to their characterization. Not only their positions but also their indexes are crucial for understanding vector fields. Considerable wo...
173
click to vote
AMC
2006
15 years 6 months ago
2006
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
155
click to vote
LOGCOM
2010
15 years 4 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
168
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...