Sciweavers

3047 search results - page 84 / 610

» A Temporal Consensus Model

76

BIOSTEC
2010

141views Healthcare» more BIOSTEC 2010»

A Lightweight Model for Representing and Reasoning with Temporal Information in Biomedical Ontologies

14 years 4 months ago

A Lightweight Model for Representing and Reasoning with Temporal Information in Biomedical Ontologies

Download bmir.stanford.edu

Martin J. O'Connor, Amar K. Das

claim paper

Read More »

25

JBCB
2011

52views more JBCB 2011»

Temporal Graphical Models for Cross-Species Gene Regulatory Network Discovery

14 years 4 months ago

Temporal Graphical Models for Cross-Species Gene Regulatory Network Discovery

Download www.lifesciencessociety.org

Yan Liu, Alexandru Niculescu-Mizil, Aurelie C. Loz...

claim paper

Read More »

65

PRL
2010

106views more PRL 2010»

Explicit modeling of temporal dynamics within musical signals for acoustical unit similarity

14 years 4 months ago

Explicit modeling of temporal dynamics within musical signals for acoustical unit similarity

Download perso.telecom-paristech.fr

Mathieu Lagrange, Martin Raspaud, Roland Badeau, G...

claim paper

Read More »

44

ACL
2011

144views Computational Linguistics» more ACL 2011»

Model-Portability Experiments for Textual Temporal Analysis

14 years 1 months ago

Model-Portability Experiments for Textual Temporal Analysis

Download www.aclweb.org

Oleksandr Kolomiyets, Steven Bethard, Marie-Franci...

claim paper

Read More »

79

LOGCOM
2002

100views more LOGCOM 2002»

Model Checking Games for Branching Time Logics

14 years 9 months ago

Model Checking Games for Branching Time Logics

Download homepages.inf.ed.ac.uk

This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...

Martin Lange, Colin Stirling

claim paper

Read More »

« Prev « First page 84 / 610 Last » Next »