2107 search results - page 342 / 422 » Computing Small Search Numbers in Linear Time |
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
LICS
2002
IEEE
14 years 1 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
BMCBI
2011
13 years 18 days ago
2011
Background: The cost efficient two-stage design is often used in genome-wide association studies (GWASs) in searching for genetic loci underlying the susceptibility for complex di...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
Given a percentage-threshold and readings from a pair of consecutive upstream and downstream sensors, flow anomaly discovery identifies dominant time intervals where the fractio...
ICMCS
2008
IEEE
14 years 3 months ago
2008
IEEE
A two-stage cascaded classification approach with an optimal candidate selection scheme is proposed to recognize places using images taken by camera phones. An optimal acceptance ...