6757 search results - page 651 / 1352 » Knowledge Analysis on Process Models |
214
click to vote
WSC
2007
15 years 9 months ago
2007
Agent-based models (ABMs) are powerful in describing structured epidemiological processes involving human behavior and local interaction. The joint behavior of the agents can be v...
225
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
174
click to vote
LREC
2010
15 years 9 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
153
Voted
INFORMATICALT
2007
15 years 7 months ago
2007
The rapid development of network technologies has made the web a huge information source with its own characteristics. In most cases, traditional database-based technologies are no...
190
Voted
BMCBI
2008
15 years 7 months ago
2008
Background: The discovery of biomarkers is an important step towards the development of criteria for early diagnosis of disease status. Recently electrospray ionization (ESI) and ...