1763 search results - page 148 / 353 » A Formalization of Polytime Functions |
ML
2007
ACM
14 years 9 months ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
109
Voted
ASIACRYPT
2010
Springer
14 years 8 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
COSIT
2009
Springer
14 years 8 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
119
click to vote
CI
2000
14 years 10 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...