Sciweavers

70 search results - page 12 / 14
» informaticalt 2008
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
13 years 5 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
INFORMATICALT
2008
122views more  INFORMATICALT 2008»
13 years 5 months ago
Modeling Phone Duration of Lithuanian by Classification and Regression Trees, using Very Large Speech Corpus
Classification and regression tree approach was used in this research to model phone duration of Lithuanian. 300 thousand samples of vowels and 400 thousand samples of consonants e...
Giedrius Norkevicius, Gailius Raskinis
INFORMATICALT
2008
207views more  INFORMATICALT 2008»
13 years 5 months ago
Lithuanian Speech Recognition Using the English Recognizer
Abstract. The present work is concerned with speech recognition using a small or medium size vocabulary. The possibility to use the English speech recognizer for the recognition of...
Pijus Kasparaitis
INFORMATICALT
2008
115views more  INFORMATICALT 2008»
13 years 5 months ago
A Fine-Grained Access Control System Combining MAC and RBACK Models for XML
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
Mustafa M. Kocatürk, Taflan I. Gündem
INFORMATICALT
2008
124views more  INFORMATICALT 2008»
13 years 5 months ago
Hierarchical Adaptive Clustering
This paper studies an adaptive clustering problem. We focus on re-clustering an object set, previously clustered, when the feature set characterizing the objects increases. We prop...
Gabriela Serban, Alina Campan