532 search results - page 100 / 107 » Process Algebras for Quantitative Analysis |
DOCENG
2005
ACM
13 years 9 months ago
2005
ACM
This paper presents an iterative method for generative semantic clustering of related information elements in spatial hypertext documents. The goal is to automatically organize th...
ENVSOFT
2007
13 years 7 months ago
2007
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
EDM
2011
12 years 7 months ago
2011
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
APN
2001
Springer
14 years 4 days ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...