Sciweavers

5267 search results - page 721 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ALMOB
2006
113views more  ALMOB 2006»
15 years 6 months ago
Inverse bifurcation analysis: application to simple gene systems
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
James Lu, Heinz W. Engl, Peter Schuster
WWW
2008
ACM
16 years 7 months ago
Personalized tag suggestion for flickr
We present a system for personalized tag suggestion for Flickr: While the user is entering/selecting new tags for a particular picture, the system is suggesting related tags to he...
Nikhil Garg, Ingmar Weber
SC
2003
ACM
15 years 12 months ago
Remote Visualization by Browsing Image Based Databases with Logistical Networking
The need to provide remote visualization of large datasets with adequate levels of quality and interactivity has become a major impediment to distributed collaboration in Computat...
Jin Ding, Jian Huang, Micah Beck, Shaotao Liu, Ter...
IPPS
2007
IEEE
16 years 1 months ago
Scalable, Dynamic Analysis and Visualization for Genomic Datasets
A challenge in data analysis and visualization is to build new-generation software tools and systems to truly accelerate scientific discoveries. The recent focus of Princeton’s ...
Grant Wallace, Matthew A. Hibbs, Maitreya J. Dunha...