Sciweavers

1523 search results - page 182 / 305
» Partially ordered secretaries
Sort
View
IJNSEC
2007
128views more  IJNSEC 2007»
15 years 27 days ago
LFSR-based Signatures with Message Recovery
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
Xiangxue Li, Dong Zheng, Kefei Chen
SYNTHESE
2008
130views more  SYNTHESE 2008»
15 years 27 days ago
Appropriateness measures: an uncertainty model for vague concepts
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...
Jonathan Lawry
AML
2004
52views more  AML 2004»
15 years 26 days ago
Effectiveness for infinite variable words and the Dual Ramsey Theorem
We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
Joseph S. Miller, Reed Solomon
RAS
2002
119views more  RAS 2002»
15 years 19 days ago
Exploration method using harmonic functions
Harmonic functions provide optimal potential maps for robot navigation in a previously explored static environment. Here we investigate the performance of an algorithm for explora...
Edson Prestes e Silva Jr., Paulo Martins Engel, Ma...
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 17 days ago
Approximation in quantale-enriched categories
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
Dirk Hofmann, Pawel Waszkiewicz