Sciweavers

16616 search results - page 311 / 3324
» Extending Extended Vacuity
Sort
View
PAIRING
2010
Springer
133views Cryptology» more  PAIRING 2010»
15 years 4 months ago
Pairing Computation on Elliptic Curves with Efficiently Computable Endomorphism and Small Embedding Degree
Scott uses an efficiently computable isomorphism in order to optimize pairing computation on a particular class of curves with embedding degree 2. He points out that pairing implem...
Sorina Ionica, Antoine Joux
SEMWEB
2010
Springer
15 years 4 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
WINE
2010
Springer
159views Economy» more  WINE 2010»
15 years 4 months ago
Local Dynamics in Bargaining Networks via Random-Turn Games
Abstract. We present a new technique for analyzing the rate of convergence of local dynamics in bargaining networks. The technique reduces balancing in a bargaining network to opti...
L. Elisa Celis, Nikhil R. Devanur, Yuval Peres
DLT
2009
15 years 4 months ago
Tight Bounds on the Descriptional Complexity of Regular Expressions
Abstract. We improve on some recent results on lower bounds for conversion problems for regular expressions. In particular we consider the conversion of planar deterministic finite...
Hermann Gruber, Markus Holzer
178
Voted
EUSFLAT
2009
173views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Application of Zadeh's Impossibility Principle to Approximate Explanation
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...
Vesa A. Niskanen