1669 search results - page 107 / 334 » Structured Specification of Model Interpreters |
148
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Fluorescent microscopy of biological samples allows noninvasive screening of specific molecular events in-situ. This approach is useful for investigating intricate signalling path...
131
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
105
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Most co-authoring tools support basic annotations, such as edits and comments that are anchored at specific locations in the document. However, they do not support metacommentary ...
128
click to vote
KDD
2006
ACM
16 years 3 months ago
2006
ACM
This paper presents an LDA-style topic model that captures not only the low-dimensional structure of data, but also how the structure changes over time. Unlike other recent work t...
141
Voted
AIME
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...