Sciweavers

928 search results - page 157 / 186
» Towards Design Space Exploration for Biological Systems
Sort
View
SIMVIS
2007
15 years 1 months ago
Chances and Limits of Progression in Visualization
The amount of data to be represented by visualization systems requires new ideas for data processing and representation. As proposed in this contribution, this might be solved by ...
René Rosenbaum, Heidrun Schumann
PODS
2004
ACM
96views Database» more  PODS 2004»
15 years 12 months ago
Roads, Codes and Spatiotemporal Queries
We present a novel coding-based technique for answering spatial and spatiotemporal queries on objects moving along a system of curves on the plane such as many road networks. We h...
Sandeep Gupta, Swastik Kopparty, Chinya V. Ravisha...
KBSE
2000
IEEE
15 years 4 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
WWW
2011
ACM
14 years 6 months ago
Low-infrastructure methods to improve internet access for mobile users in emerging regions
As information technology supports more aspects of modern life, digital access has become an important tool for developing regions to lift themselves from poverty. Though broadban...
Sibren Isaacman, Margaret Martonosi
BMCBI
2010
111views more  BMCBI 2010»
14 years 12 months ago
Protein sequences classification by means of feature extraction with substitution matrices
Background: This paper deals with the preprocessing of protein sequences for supervised classification. Motif extraction is one way to address that task. It has been largely used ...
Rabie Saidi, Mondher Maddouri, Engelbert Mephu Ngu...