Sciweavers

12536 search results - page 205 / 2508
» Cardinality Networks and Their Applications
Sort
View
208
Voted
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
134
Voted
BIOWIRE
2007
Springer
16 years 1 months ago
Phase Patterns of Coupled Oscillators with Application to Wireless Communication
Abstract. Here we study the plausibility of a phase oscillators dynamical model for time division for multiple access in wireless communication networks. We show that emerging patt...
Albert Díaz-Guilera, Alex Arenas
ECTEL
2007
Springer
16 years 1 months ago
ICT Supported Interorganizational Knowledge-Creation: Application of Change Laboratory
To answer the challenges of globally distributed organizations facing constant transformation of work, means of ICT supported interorganizational knowledge-creation is needed. Firs...
Seppo Toikka
COLING
2000
15 years 8 months ago
Application of Analogical Modelling to Example Based Machine Translation
This paper describes a self-modelling, incremental algorithm for learning translation rules from existing bilingual corpora. The notions of supracontext and subcontext are extende...
Christos Malavazosi, Stelios Piperidis
JCNS
2006
94views more  JCNS 2006»
15 years 7 months ago
On the application of "equation-free modelling" to neural systems
"Equation-free modelling" is a recently-developed technique for bridging the gap between detailed, microscopic descriptions of systems and macroscopic descriptions of the...
Carlo R. Laing