Sciweavers

2347 search results - page 294 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
ENTCS
2007
115views more  ENTCS 2007»
13 years 8 months ago
A Global Algorithm for Model-Based Test Suite Generation
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
Anders Hessel, Paul Pettersson
ML
2008
ACM
156views Machine Learning» more  ML 2008»
13 years 8 months ago
On the connection between the phase transition of the covering test and the learning success rate in ILP
It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete...
Érick Alphonse, Aomar Osmani
EOR
2007
89views more  EOR 2007»
13 years 8 months ago
The service allocation problem at the Gioia Tauro Maritime Terminal
The Service Allocation Problem (SAP) is a tactical problem arising in the yard management of a container transshipment terminal. The objective is the minimization of the container...
Jean-François Cordeau, Manlio Gaudioso, Gil...
NAR
2008
127views more  NAR 2008»
13 years 8 months ago
miRBase: tools for microRNA genomics
miRBase is the central online repository for microRNA (miRNA) nomenclature, sequence data, annotation and target prediction. The current release (10.0) contains 5071 miRNA loci fr...
Sam Griffiths-Jones, Harpreet Kaur Saini, Stijn va...
NAR
2008
101views more  NAR 2008»
13 years 8 months ago
PVS: a web server for protein sequence variability analysis tuned to facilitate conserved epitope discovery
We have developed PVS (Protein Variability Server), a web-based tool that uses several variability metrics to compute the absolute site variability in multiple protein-sequence al...
Maria Garcia-Boronat, Carmen M. Diez-Rivero, Ellis...