Sciweavers

1563 search results - page 34 / 313
» An Increase In Value
Sort
View
PODC
1990
ACM
14 years 1 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
SCIENTOMETRICS
2008
100views more  SCIENTOMETRICS 2008»
13 years 9 months ago
The influence of references per paper in the SCI to Impact Factors and the Matthew Effect
: All references data was extracted from the annual volumes of the CD-Edition of Science Citation Index (SCI) and the web of science of the Institute for Scientific Information (IS...
Mohammad Hossein Biglu
ASIACRYPT
2001
Springer
14 years 2 months ago
Mutually Independent Commitments
We study the two-party commitment problem, where two players have secret values they wish to commit to each other. Traditional commitment schemes cannot be used here because they d...
Moses Liskov, Anna Lysyanskaya, Silvio Micali, Leo...
DIS
2005
Springer
14 years 3 months ago
Practical Algorithms for Pattern Based Linear Regression
We consider the problem of discovering the optimal pattern from a set of strings and associated numeric attribute values. The goodness of a pattern is measured by the correlation b...
Hideo Bannai, Kohei Hatano, Shunsuke Inenaga, Masa...
AAAI
2006
13 years 11 months ago
Predicting Task-Specific Webpages for Revisiting
With the increased use of the web has come a corresponding increase in information overload that users face when trying to locate specific webpages, especially as a majority of vi...
Arwen Twinkle Lettkeman, Simone Stumpf, Jed Irvine...