10715 search results - page 1912 / 2143 » From Tests to Proofs |
159
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
181
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Evolutionary Computation is an exciting research field with the power to assist researchers in the task of solving hard optimization problems (i.e., problems where the exploitabl...
210
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
164
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
The utility of an enterprise search system is determined by three key players: the information retrieval (IR) system (the search engine), the enterprise users, and the service pro...
142
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...