Sciweavers

493 search results - page 58 / 99
» Generating Ambiguity in the Laboratory
Sort
View
INFOCOM
2007
IEEE
14 years 3 months ago
Experimental Assessment of the Backoff Behavior of Commercial IEEE 802.11b Network Cards
— It has been observed that different IEEE 802.11 commercial cards produced by different vendors experience different performance, either when accessing alone the channel, as wel...
Giuseppe Bianchi, Antonio Di Stefano, Costantino G...
TACAS
2007
Springer
124views Algorithms» more  TACAS 2007»
14 years 3 months ago
Deciding Bit-Vector Arithmetic with Abstraction
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
Randal E. Bryant, Daniel Kroening, Joël Ouakn...
CBMS
2006
IEEE
14 years 3 months ago
A Decision Support System for the Diagnosis of Coronary Artery Disease
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
Markos G. Tsipouras, Themis P. Exarchos, Dimitrios...
ICIP
2006
IEEE
14 years 3 months ago
Lossless Compression of Microarray Images
During the past years, the development of microarray technology has been remarkable, and it is becoming a daily tool in many genomic research laboratories. The widespread adoption...
António J. R. Neves, Armando J. Pinho
IPPS
2006
IEEE
14 years 3 months ago
MT-ClustalW: multithreading multiple sequence alignment
ClustalW is the most widely used tool for aligning multiple protein or nucleotide sequences. The alignment is achieved via three stages: pairwise alignment, guide tree generation ...
K. Chaichoompu, Surin Kittitornkun, Sissades Tongs...