927 search results - page 147 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
95
Voted
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
109
click to vote
RT
1997
Springer
15 years 4 months ago
1997
Springer
Abstract: An object space algorithm for computing shadows in dynamic scenes illuminated by area light sources is presented. A mesh with the shadow boundaries as well as other disco...
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
101
click to vote
CIARP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Cluster validation to determine the right number of clusters is an important issue in clustering processes. In this work, a strategy to address the problem of cluster val...
88
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Random intersection graphs (RIGs) are an important random structure with algorithmic applications in social networks, epidemic networks, blog readership, and wireless sen...