4526 search results - page 669 / 906 » An overview of clustering methods |
174
click to vote
MM
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...
176
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
162
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
187
click to vote
GD
2005
Springer
16 years 5 days ago
2005
Springer
A workshop on Network Analysis and Visualisation was held on September 11, 2005 in Limerick Ireland, in conjunction with 2005 Graph Drawing conference. This report review the backg...
189
click to vote
ITICSE
2004
ACM
16 years 2 days ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...