4460 search results - page 127 / 892 » Formal methods for interactive systems |
134
Voted
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...
142
Voted
JMLR
2010
2010
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
14 years 10 months ago
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
142
Voted
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
164
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
116
Voted
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...