Sciweavers

3804 search results - page 343 / 761
» interactions 2008
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
The Pairing of Contracts and Session Types
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
Cosimo Laneve, Luca Padovani
ESWS
2008
Springer
15 years 8 months ago
Exploring the Knowledge in Semi Structured Data Sets with Rich Queries
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...
Jürgen Umbrich, Sebastian Blohm
BIB
2008
88views more  BIB 2008»
15 years 7 months ago
MEGA: A biologist-centric software for evolutionary analysis of DNA and protein sequences
The Molecular Evolutionary Genetics Analysis (MEGA) software is a desktop application designed for comparative analysis of homologous gene sequences either from multigene families...
Sudhir Kumar, Masatoshi Nei, Joel Dudley, Koichiro...
157
Voted
BMCBI
2008
109views more  BMCBI 2008»
15 years 7 months ago
ConStruct: Improved construction of RNA consensus structures
Background: Aligning homologous non-coding RNAs (ncRNAs) correctly in terms of sequence and structure is an unresolved problem, due to both mathematical complexity and imperfect s...
Andreas Wilm, Kornelia Linnenbrink, Gerhard Steger
CGF
2006
126views more  CGF 2006»
15 years 6 months ago
Soft Shadow Maps: Efficient Sampling of Light Source Visibility
Shadows, particularly soft shadows, play an important role in the visual perception of a scene by providing visual cues about the shape and position of objects. Several recent alg...
Lionel Atty, Nicolas Holzschuch, Marc Lapierre, Je...