Sciweavers

4870 search results - page 288 / 974
» Construction of Wavelets and Applications
Sort
View
ACM
1987
15 years 10 months ago
On efficient balanced codes
Balanced codes have the property that no codeword is "contained" in another.This property makes balanced codes attractive for certain applications, such as the encoding ...
Guan Jiwen, Victor R. Lesser
AAAI
2008
15 years 9 months ago
Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser
Our research is motivated by the observation that NLP systems frequently mislabel passive voice verb phrases as being in the active voice when there is no auxiliary verb (e.g., &q...
Sean Igo, Ellen Riloff
ASIACRYPT
2008
Springer
15 years 8 months ago
Generalized Identity Based and Broadcast Encryption Schemes
Abstract. We provide a general framework for constructing identitybased and broadcast encryption systems. In particular, we construct a general encryption system called spatial enc...
Dan Boneh, Michael Hamburg
FASE
2008
Springer
15 years 8 months ago
Software Quality Improvement Via Pattern Matching
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
Radu Kopetz, Pierre-Etienne Moreau
FM
2008
Springer
184views Formal Methods» more  FM 2008»
15 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte