Sciweavers

21430 search results - page 3801 / 4286
» Abstract Effective Models
Sort
View
AB
2007
Springer
16 years 1 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
ACAL
2007
Springer
16 years 1 months ago
An Integrated QAP-Based Approach to Visualize Patterns of Gene Expression Similarity
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
Mario Inostroza-Ponta, Alexandre Mendes, Regina Be...
186
Voted
AGTIVE
2007
Springer
16 years 1 months ago
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
Gernot Veit Batz, Moritz Kroll, Rubino Geiß
160
Voted
AIED
2007
Springer
16 years 1 months ago
Dialog Convergence and Learning
Abstract. In this paper we examine whether the student-to-tutor convergence of lexical and speech features is a useful predictor of learning in a corpus of spoken tutorial dialogs....
Arthur Ward, Diane J. Litman
APN
2007
Springer
16 years 1 months ago
Name Creation vs. Replication in Petri Net Systems
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
Fernando Rosa Velardo, David de Frutos-Escrig
« Prev « First page 3801 / 4286 Last » Next »