Sciweavers

3362 search results - page 187 / 673
» A definition of subjective possibility
Sort
View
JFP
2008
72views more  JFP 2008»
15 years 6 months ago
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin ...
JLP
2006
138views more  JLP 2006»
15 years 6 months ago
Algebraic-coalgebraic specification in CoCasl
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
Till Mossakowski, Lutz Schröder, Markus Rogge...
PERVASIVE
2006
Springer
15 years 6 months ago
Building Reliable Activity Models Using Hierarchical Shrinkage and Mined Ontology
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...
Emmanuel Munguia Tapia, Tanzeem Choudhury, Matthai...
SLOGICA
2008
97views more  SLOGICA 2008»
15 years 6 months ago
A Generic Framework for Adaptive Vague Logics
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
Peter Verdée, Stephan van der Waart van Gul...
BMCBI
2005
190views more  BMCBI 2005»
15 years 6 months ago
Species-specific analysis of protein sequence motifs using mutual information
Background: Protein sequence motifs are by definition short fragments of conserved amino acids, often associated with a specific function. Accordingly protein sequence profiles de...
Jan Hummel, Nima Keshvari, Wolfram Weckwerth, Joac...