Sciweavers

4983 search results - page 376 / 997
» order 2008
Sort
View
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
GRC
2008
IEEE
15 years 7 months ago
MovStream: An Efficient Algorithm for Monitoring Clusters Evolving in Data Streams
Monitoring cluster evolution in data streams is a major research topic in data streams mining. Previous clustering methods for evolving data streams focus on global clustering res...
Liang Tang, Chang-jie Tang, Lei Duan, Chuan Li, Ye...
ICCCN
2008
IEEE
16 years 1 months ago
Inter-Domain Routing Scalability in Optical DWDM Networks
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...
Qing Liu, Chongyang Xie, Tannous Frangieh, Nasir G...
DGCI
2008
Springer
15 years 8 months ago
A New Fuzzy Connectivity Class Application to Structural Recognition in Images
Fuzzy sets theory constitutes a poweful tool, that can lead to more robustness in problems such as image segmentation and recognition. This robustness results to some extent from t...
Olivier Nempont, Jamal Atif, Enrico Angelini, Isab...
FPL
2008
Springer
138views Hardware» more  FPL 2008»
15 years 8 months ago
An efficient run-time router for connecting modules in FPGAS
It is often desirable to change the logic and/or the connections within an FPGA design on-the-fly without the benefit of a workstation or vendor CAD software. This paper presents ...
Jorge Surís, Cameron Patterson, Peter Athan...