2382 search results - page 182 / 477 » Generating Seeded Trees from Data Sets |
143
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
155
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The recent emergence of the H5N1 influenza virus from avian reservoirs has raised concern about future influenza strains of high virulence emerging that could easily i...
166
click to vote
FQAS
2009
Springer
15 years 11 months ago
2009
Springer
Some recent works have shown that the “perfect” selection of the best IR system per query could lead to a significant improvement on the retrieval performance. Motivated by thi...
174
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
271
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...