Sciweavers

2849 search results - page 76 / 570
» As We Should Have Thought
Sort
View
APLAS
2007
ACM
14 years 1 months ago
Finally Tagless, Partially Evaluated
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
ICALP
2010
Springer
13 years 12 months ago
Choosing, Agreeing, and Eliminating in Communication Complexity
We consider several questions inspired by the direct-sum problem in (two-party) communication complexity. In all questions, there are k fixed Boolean functions f1, . . . , fk and ...
Amos Beimel, Sebastian Ben Daniel, Eyal Kushilevit...
BMCBI
2006
113views more  BMCBI 2006»
13 years 10 months ago
In silico discovery of human natural antisense transcripts
Background: Several high-throughput searches for ppotential natural antisense transcripts (NATs) have been performed recently, but most of the reports were focused on cis type. A ...
Yuan-Yuan Li, Lei Qin, Zong-Ming Guo, Lei Liu, Hao...
ICAS
2006
IEEE
101views Robotics» more  ICAS 2006»
14 years 4 months ago
Agreement-aware Semantic Management of Services
Automation of versatile process management will aid greater efficiency and lower costs. It is widely expected that highly structured agreements should be executed and enforced aut...
Qian Zhao, Yu Zhou, Mark Perry
GECCO
2004
Springer
14 years 3 months ago
The Royal Road Not Taken: A Re-examination of the Reasons for GA Failure on R1
Previous work investigating the performance of genetic algorithms (GAs) has attempted to develop a set of fitness landscapes, called “Royal Roads” functions, which should be id...
Brian Howard, John Sheppard