6279 search results - page 1160 / 1256 » Studies in Solution Sampling |
JTAER
2010
14 years 8 months ago
2010
An Input validation can be a critical issue. Typically, a little attention is paid to it in a web development project, because overenthusiastic validation can tend to cause failur...
PPDP
2010
Springer
14 years 8 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
WABI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Genome sequencing will soon produce haplotype data for individuals. For pedigrees of related individuals, sequencing appears to be an attractive alternative to genotyping...
100
click to vote
WIOPT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Cognitive radio networks provide the capability to share the wireless channel with licensed (primary) users in an opportunistic manner. Primary users have a license to operate i...
GLOBECOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Providing air-time guarantees across a group of clients forms a fundamental building block in sharing an access point (AP) across different virtual network providers. Though this p...