Sciweavers

2949 search results - page 59 / 590
» Universal Sparse Modeling
Sort
View
100
Voted
FCT
2001
Springer
15 years 5 months ago
Universal Algebra and Computer Science
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
Boris I. Plotkin, Tanya Plotkin
DATESO
2006
103views Database» more  DATESO 2006»
15 years 2 months ago
CellStore - the Vision of Pure Object Database
Abstract. This paper describes a vision of CellStore, a kind of universal database system, which would be capable of storing and operating on several different data models
Jan Vraný
FORMATS
2007
Springer
15 years 6 months ago
Undecidability of Universality for Timed Automata with Minimal Resources
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
Sara Adams, Joël Ouaknine, James Worrell
117
Voted
CRYPTO
2006
Springer
112views Cryptology» more  CRYPTO 2006»
15 years 4 months ago
Receipt-Free Universally-Verifiable Voting with Everlasting Privacy
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
Tal Moran, Moni Naor
88
Voted
DAGSTUHL
2007
15 years 2 months ago
Note on parallel universes
The parallel universes idea is an attempt to integrate several aspects of learning which share some common aspects. This is an interesting idea: if successful, insights could cross...
Niall M. Adams, David J. Hand