Sciweavers

431 search results - page 30 / 87
» We have always been transgenic
Sort
View
RECOMB
2005
Springer
14 years 9 months ago
Comparison of Protein-Protein Interaction Confidence Assignment Schemes
Recent technological advances have enabled high-throughput measurements of protein-protein interactions in the cell, producing protein interaction networks for various species at a...
Silpa Suthram, Tomer Shlomi, Eytan Ruppin, Roded S...
MVA
1996
142views Computer Vision» more  MVA 1996»
13 years 10 months ago
Interactive Image Segmentation System for Visual Simulation
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
Makoto Kato
AGP
1998
IEEE
14 years 1 months ago
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
Roberto Bagnara, Peter Schachte
IFM
2005
Springer
14 years 2 months ago
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
Lars Michael Kristensen, Michael Westergaard, Pede...
GECCO
2008
Springer
123views Optimization» more  GECCO 2008»
13 years 9 months ago
MLS security policy evolution with genetic programming
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
Yow Tzu Lim, Pau-Chen Cheng, Pankaj Rohatgi, John ...