4290 search results - page 78 / 858 » Formal Approaches to Teamwork |
158
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...
177
click to vote
IAT
2008
IEEE
16 years 26 days ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...
175
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
144
click to vote
VL
1990
IEEE
15 years 10 months ago
1990
IEEE
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
180
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...