Sciweavers

8768 search results - page 317 / 1754
» Generalizing the notion of support
Sort
View
220
Voted
HYBRID
2010
Springer
15 years 5 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
AAAI
1997
15 years 8 months ago
The Anatomy of Chess Programs
Thisshortpaperdefinesthe terminologyusedto support computerchess work,andintroducesthe basic concpets behindchess programs.It is intendedto be of general interest, providingbackgr...
T. Anthony Marsland
ECHT
1992
15 years 11 months ago
Hyperform: Using Extensibility to Develop Dynamic, Open and Distributed Hypertext Systems
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
Uffe Kock Wiil, John J. Leggett
TCC
2005
Springer
113views Cryptology» more  TCC 2005»
16 years 1 months ago
Entropic Security and the Encryption of High Entropy Messages
Russell and Wang [22] recently introduced an elegant, information-theoretic notion called entropic security of encryption: they required that the cipher text leak no predicate of ...
Yevgeniy Dodis, Adam Smith
182
Voted
CVPR
2008
IEEE
16 years 9 months ago
A deformable local image descriptor
This paper presents a novel local image descriptor that is robust to general image deformations. A limitation with traditional image descriptors is that they use a single support ...
Hong Cheng, Zicheng Liu, Nanning Zheng, Jie Yang