Sciweavers

10289 search results - page 314 / 2058
» Standard bases in K
Sort
View
IV
2003
IEEE
92views Visualization» more  IV 2003»
15 years 12 months ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
AAAI
1994
15 years 8 months ago
An Operational Semantics for Knowledge Bases
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
ICIP
2008
IEEE
16 years 8 months ago
Parameter estimation for an H.264-based distributed video coder
In this paper we present a statistical model used to select coding parameters for a mixed resolution Wyner-Ziv framework implemented using the H.264/AVC standard. This paper exten...
Bruno Macchiavello, Ricardo L. de Queiroz, Debargh...
ACNS
2007
Springer
136views Cryptology» more  ACNS 2007»
16 years 26 days ago
Identity-Based Proxy Re-encryption
In a proxy re-encryption scheme a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for Bob without seeing the underlying plaintext. A number of solutions have ...
Matthew Green, Giuseppe Ateniese
ICECCS
2005
IEEE
108views Hardware» more  ICECCS 2005»
16 years 8 days ago
Evolving Messaging Systems for Secure Role Based Messaging
This paper articulates a system design for the secure role based messaging model built based on existing messaging systems, public key infrastructures, and a privilege management ...
Gansen Zhao, David W. Chadwick