Sciweavers

2556 search results - page 462 / 512
» The Triconnected Abstraction of Process Models
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 9 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ECAL
1995
Springer
15 years 9 months ago
Evolving Artificial Neural Networks that Develop in Time
Although recently there has been an increasing interest in studing genetically-based development using Artificial Life models, the mapping of the genetic information into the phen...
Stefano Nolfi, Domenico Parisi
AI
2009
Springer
15 years 9 months ago
Financial Forecasting Using Character N-Gram Analysis and Readability Scores of Annual Reports
Abstract. Two novel Natural Language Processing (NLP) classification techniques are applied to the analysis of corporate annual reports in the task of financial forecasting. The ...
Matthew Butler, Vlado Keselj
AISB
2008
Springer
15 years 8 months ago
The Plaited Structure of Time in Information Technology
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
Jean-Gabriel Ganascia
BIOID
2008
135views Biometrics» more  BIOID 2008»
15 years 8 months ago
Multimodal Speaker Identification Based on Text and Speech
Abstract. This paper proposes a novel method for speaker identification based on both speech utterances and their transcribed text. The transcribed text of each speaker's utte...
Panagiotis Moschonas, Constantine Kotropoulos