27 search results - page 5 / 6 » Deriving Transfer Rules from Dominance-Preserving Alignments |
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
JSS
2010
14 years 8 months ago
2010
This paper investigates a class of mobile wireless sensor networks that are unconnected most of the times; we refer to them as delay–tolerant wireless sensor networks (DTWSN). T...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
BMCBI
2007
14 years 10 months ago
2007
Background: Thermophilic organisms are able to live at high temperatures ranging from 50 to > 100°C. Their proteins must be sufficiently stable to function under these extreme...
93
Voted
CANDC
2008
ACM
14 years 10 months ago
2008
ACM
Background: The Z-curve is a three dimensional representation of DNA sequences proposed over a decade ago and has been extensively applied to sequence segmentation, horizontal gen...