2354 search results - page 159 / 471 » A Common-Sense Theory of Time |
GCC
2003
Springer
14 years 1 months ago
2003
Springer
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
INDOCRYPT
2001
Springer
14 years 23 days ago
2001
Springer
We present an algorithm for generating elliptic curves of prime order over Optimal Extension Fields suitable for use in cryptography. The algorithm is based on the theory of Comple...
STACS
2001
Springer
14 years 23 days ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
ISIPTA
1999
IEEE
14 years 18 days ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
FOCS
1997
IEEE
14 years 16 days ago
1997
IEEE
The problem of maintaining data that arrives continuously over time is increasingly prevalent in databases and digital libraries. Building on a model for sliding-window indices de...