Sciweavers

3724 search results - page 360 / 745
» Timed regular expressions
Sort
View
NETCOOP
2007
Springer
16 years 27 days ago
A Jamming Game in Wireless Networks with Transmission Cost
We consider jamming in wireless networks with transmission cost for both transmitter and jammer. We use the framework of non-zerosum games. In particular, we prove the existence an...
Eitan Altman, Konstantin Avrachenkov, Andrey Garna...
SG
2007
Springer
16 years 26 days ago
NPR Lenses: Interactive Tools for Non-Photorealistic Line Drawings
Abstract. NPR Lenses is an interactive technique for producing expressive non-photorealistic renderings. It provides an intuitive visual interaction tool for illustrators, allowing...
Petra Neumann, Tobias Isenberg, M. Sheelagh T. Car...
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
16 years 11 days ago
Sequential Classification for Microarray and Clinical Data
Sequential classification uses in a stepwise process only part of the data (evidence) for partial classification, i.e., classifying only objects with sufficient evidence and leavi...
Günter Tusch
CSFW
2005
IEEE
16 years 11 days ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
Pedro Adão, Gergei Bana, Andre Scedrov
GPCE
2005
Springer
16 years 8 days ago
AOP++: A Generic Aspect-Oriented Programming Framework in C++
Abstract. This paper presents AOP++, a generic aspect-oriented programming framework in C++. It successfully incorporates AOP with object-oriented programming as well as generic pr...
Zhen Yao, Qilong Zheng, Guoliang Chen