Sciweavers

407 search results - page 48 / 82
» An Intuitive Automated Modelling Interface for Systems Biolo...
Sort
View
DSD
2009
IEEE
124views Hardware» more  DSD 2009»
15 years 4 months ago
Network-on-Chip Architecture Exploration Framework
— In this paper, we present a novel framework for the automated generation of Network-on-Chips (NoC) architectures, that enables architecture exploration and optimization. The au...
Timo Schönwald, Jochen Zimmermann, Oliver Bri...
BMCBI
2006
139views more  BMCBI 2006»
14 years 9 months ago
Integrated functional visualization of eukaryotic genomes
Background: Increasing amounts of data from large scale whole genome analysis efforts demands convenient tools for manipulation, visualization and investigation. Whole genome plot...
Rohit Ghai, Hannes Lindemann, Trinad Chakraborty
JSS
2006
99views more  JSS 2006»
14 years 9 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
IV
2006
IEEE
136views Visualization» more  IV 2006»
15 years 3 months ago
Dynamic Visualization and Navigation of Semantic Virtual Environments
Although Information Visualization claims to provide the means to induce mental models of any kind of data, the visualization of semantic information is still an open field of re...
Katja Einsfeld, Stefan Agne, Matthias Deller, Achi...
TSD
2005
Springer
15 years 3 months ago
Robust Rule-Based Method for Automatic Break Assignment in Russian Texts
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...
Ilya Oparin