4047 search results - page 194 / 810 » Some Properties and Some Problems on Set Functors |
152
click to vote
CN
2006
15 years 6 months ago
2006
Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial and bi...
134
click to vote
TCSV
2008
15 years 6 months ago
2008
Many existing techniques for image restoration can be expressed in terms of minimizing a particular cost function. Iterative regularization methods are a novel variation on this th...
177
click to vote
ENTCS
2002
15 years 6 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
132
click to vote
JAIR
2011
15 years 1 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
173
click to vote
ICS
2010
Tsinghua U.
16 years 3 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...