1965 search results - page 371 / 393 » On the analysis of interacting pushdown systems |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
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...
DILS
2008
Springer
13 years 9 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
WSCG
2003
13 years 9 months ago
2003
The analysis of blood flow patterns and the interaction between salient topological flow features and cardiovascular structure plays an important role in the study of cardiovascul...
BMCBI
2010
13 years 7 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...