Sciweavers

3731 search results - page 308 / 747
» cases 2006
Sort
View
FMSD
2006
131views more  FMSD 2006»
15 years 6 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...
JASIS
2006
68views more  JASIS 2006»
15 years 6 months ago
Query expansion behavior within a thesaurus-enhanced search environment: A user-centered evaluation
e to the CAB abstracts database. Data-gathering techniques included questionnaires, screen capturing software, and interviews. The results presented here relate to issues of search...
Ali Asghar Shiri, Crawford Revie
AUTOMATICA
2006
80views more  AUTOMATICA 2006»
15 years 6 months ago
State estimation over packet dropping networks using multiple description coding
For state estimation over a communication network, efficiency and reliability of the network are critical issues. The presence of packet dropping and communication delay can great...
Zhipu Jin, Vijay Gupta, Richard M. Murray
NECO
2006
103views more  NECO 2006»
15 years 6 months ago
Optimal Spike-Timing-Dependent Plasticity for Precise Action Potential Firing in Supervised Learning
In timing-based neural codes, neurons have to emit action potentials at precise moments in time. We use a supervised learning paradigm to derive a synaptic update rule that optimi...
Jean-Pascal Pfister, Taro Toyoizumi, David Barber,...
181
Voted
IJCIM
2007
99views more  IJCIM 2007»
15 years 6 months ago
Fuzzy multi-objective optimization for network design of integrated e-supply chains
Worldwide competition originated the development of Integrated E-Supply Chains (IESC) that are distributed manufacturing systems integrating international logistics and informatio...
Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marc...