Sciweavers

12536 search results - page 205 / 2508
» Cardinality Networks and Their Applications
Sort
View
NCA
2008
IEEE
15 years 11 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
102
Voted
BIOWIRE
2007
Springer
15 years 10 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
116
Voted
ECTEL
2007
Springer
15 years 10 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
128
Voted
COLING
2000
15 years 6 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
95
Voted
JCNS
2006
94views more  JCNS 2006»
15 years 4 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