Sciweavers

35 search results - page 5 / 7
» informaticalt 2007
Sort
View
INFORMATICALT
2007
88views more  INFORMATICALT 2007»
13 years 5 months ago
The Extension of the Van Der Pauw Method to Anisotropic Media
Abstract. The method for calculating the specific conductivity tensor of an anisotropically conductive medium, proposed in this paper, distinguishes itself by the simplicity of ph...
Jonas Kleiza, Mifodijus Sapagovas, Vytautas Kleiza
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
13 years 5 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
INFORMATICALT
2007
106views more  INFORMATICALT 2007»
13 years 5 months ago
Framework for Choosing a Set of Syllables and Phonemes for Lithuanian Speech Recognition
This paper describes a framework for making up a set of syllables and phonemes that subsequently is used in the creation of acoustic models for continuous speech recognition of Lit...
Sigita Laurinciukaite, Antanas Lipeika
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
2007
92views more  INFORMATICALT 2007»
13 years 5 months ago
A Matrix-Based Model for Web Page Community Construction and More
The rapid development of network technologies has made the web a huge information source with its own characteristics. In most cases, traditional database-based technologies are no...
Jingyu Hou