Sciweavers

4592 search results - page 13 / 919
» Framework for Studying Substitution
Sort
View
JANCL
2007
70views more  JANCL 2007»
13 years 7 months ago
Expressivity and completeness for public update logics via reduction axioms
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
Barteld P. Kooi
TEI
2009
ACM
135views Hardware» more  TEI 2009»
14 years 2 months ago
Spatially aware handhelds for high-precision tangible interaction with large displays
While touch-screen displays are becoming increasingly popular, many factors affect user experience and performance. Surface quality, parallax, input resolution, and robustness, fo...
Alex Olwal, Steven Feiner
CTRSA
2003
Springer
96views Cryptology» more  CTRSA 2003»
14 years 21 days ago
Hardware Performance Characterization of Block Cipher Structures
In this paper, we present a general framework for evaluating the performance characteristics of block cipher structures composed of S-boxes and Maximum Distance Separable (MDS) ma...
Lu Xiao, Howard M. Heys
LPNMR
1993
Springer
13 years 11 months ago
Negation as Partial Failure
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
IJCSA
2008
102views more  IJCSA 2008»
13 years 7 months ago
New Information and Communication Technologies for the Teaching of Computer Graphic Design
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
G. del Rio-Cidoncha, J. Martinez-Palacios, E. Mart...