Sciweavers

3047 search results - page 84 / 610

» A Temporal Consensus Model

147

BIOSTEC
2010

141views Healthcare» more BIOSTEC 2010»

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

15 years 7 days 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 »

58

JBCB
2011

52views more JBCB 2011»

Temporal Graphical Models for Cross-Species Gene Regulatory Network Discovery

15 years 5 days 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 »

116

PRL
2010

106views more PRL 2010»

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

14 years 12 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 »

90

ACL
2011

144views Computational Linguistics» more ACL 2011»

Model-Portability Experiments for Textual Temporal Analysis

14 years 8 months ago

Model-Portability Experiments for Textual Temporal Analysis

Download www.aclweb.org

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

claim paper

Read More »

146

LOGCOM
2002

100views more LOGCOM 2002»

Model Checking Games for Branching Time Logics

15 years 4 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 »