Sciweavers

5064 search results - page 904 / 1013
» Recent Developments in Gridsolve
Sort
View
AIPS
2009
15 years 6 months ago
A Semantics for HTN Methods
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
Robert P. Goldman
CP
2008
Springer
15 years 6 months ago
Search Strategies for Rectangle Packing
Rectangle (square) packing problems involve packing all squares with sizes 1 × 1 to n × n into the minimum area enclosing rectangle (respectively, square). Rectangle packing is a...
Helmut Simonis, Barry O'Sullivan
MOBICOM
2010
ACM
15 years 5 months ago
ZiFi: wireless LAN discovery via ZigBee interference signatures
WiFi networks have enjoyed an unprecedent penetration rate in recent years. However, due to the limited coverage, existing WiFi infrastructure only provides intermittent connectiv...
Ruogu Zhou, Yongping Xiong, Guoliang Xing, Limin S...
AIL
2008
103views more  AIL 2008»
15 years 5 months ago
A dialogical theory of presumption
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...
Douglas Walton
119
Voted
BMCBI
2010
137views more  BMCBI 2010»
15 years 5 months ago
BS Seeker: precise mapping for bisulfite sequencing
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...
Pao-Yang Chen, Shawn Cokus, Matteo Pellegrini