2702 search results - page 431 / 541 » Practically Applicable Formal Methods |
170
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
159
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
131
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
164
click to vote
IDA
2005
Springer
15 years 11 months ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
159
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...