Sciweavers

924 search results - page 83 / 185
» Teaching simulation using case studies
Sort
View
IPSN
2004
Springer
15 years 5 months ago
Distributed online localization in sensor networks using a moving target
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
Aram Galstyan, Bhaskar Krishnamachari, Kristina Le...
ICASSP
2008
IEEE
15 years 6 months ago
On quantifying the effects of noncircularity on the complex fastica algorithm
The complex fast independent component analysis (c-FastICA) algorithm is one of the most popular methods for solving the ICA problem with complex-valued data. In this study, we ex...
Mike Novey, Tülay Adali
BIBE
2007
IEEE
113views Bioinformatics» more  BIBE 2007»
15 years 6 months ago
Quantitative and Probabilistic Modeling in Pathway Logic
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
94
Voted
AMAST
2004
Springer
15 years 5 months ago
Formal JVM Code Analysis in JavaFAN
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
Azadeh Farzan, José Meseguer, Grigore Rosu
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
15 years 4 months ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...