Sciweavers

86 search results - page 4 / 18
» Seeing Beyond Divergence
Sort
View
ITPRO
2007
101views more  ITPRO 2007»
14 years 11 months ago
Beyond Search: Content Applications
Federation of Abstracting and Information Services presentation (“TheThomsonTransformation: Remaking a Global 500 Company,” http://www. nfais.org/TurnerNFAIS06.ppt). Now conten...
Stephen Buxton
77
Voted
ENTCS
2002
114views more  ENTCS 2002»
14 years 11 months ago
Adjunction Models For Call-By-Push-Value With Stacks
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
Paul Blain Levy
APAL
2008
104views more  APAL 2008»
14 years 12 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
BMCBI
2005
97views more  BMCBI 2005»
14 years 11 months ago
Evolutionary distance estimation and fidelity of pair wise sequence alignment
Background: Evolutionary distances are a critical measure in comparative genomics and molecular evolutionary biology. A simulation study was used to examine the effect of alignmen...
Michael S. Rosenberg
CIKM
2008
Springer
15 years 1 months ago
Reading in the office
Reading online poses a number of technological challenges. Advances in technology such as touch screens, light-weight high-power computers, and bi-stable displays have periodicall...
Gene Golovchinsky