1547 search results - page 51 / 310 » The Isabelle Collections Framework |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
This paper presents a general framework for agglomerative hierarchical clustering based on graphs. Specifying an inter-cluster similarity measure, a subgraph of the similarity gra...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
During the requirements elicitation phase, analysts have often to take into consideration laws and regulations enacted by different levels of government. The purpose of this paper...
ISPW
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
EPIA
2001
Springer
14 years 4 days ago
2001
Springer
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
The management of big databases of three-dimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easi...