3804 search results - page 475 / 761 » From Here to There |
185
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
172
click to vote
GCB
2008
Springer
15 years 7 months ago
2008
Springer
: Array-based analysis of chromatin immunoprecipitation data (ChIP-chip) is a powerful technique for identifying DNA target regions of individual transcription factors. Here, we pr...
212
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
The hybrid intelligent system presented here, forecasts the presence or not of oil slicks in a certain area of the open sea after an oil spill using CaseBased Reasoning methodology...
223
click to vote
SYSTOR
2010
ACM
15 years 7 months ago
2010
ACM
A basic problem in the management of web servers is capacity planning: you want enough capacity to be able to serve peak loads, but not too much so as to avoid excessive costs. It...
153
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper investigates unsupervised vocabulary and language model self-adaptation (VLA) from just one speech file using the web as a knowledge source and without prior knowledge...