1518 search results - page 163 / 304 » Cryptographic Test Correction |
94
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
118
Voted
COMPGEOM
2006
ACM
15 years 6 months ago
2006
ACM
A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum weight triangulation (MWT) problem, we are looking for a triangula...
84
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
100
click to vote
DEXAW
2005
IEEE
15 years 6 months ago
2005
IEEE
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
106
click to vote
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...