10870 search results - page 1978 / 2174 » Model Checking Programs |
100
click to vote
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
112
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
101
click to vote
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
Censored targets, such as the time to events in survival analysis, can generally be represented by intervals on the real line. In this paper, we propose a novel support vector tec...
156
click to vote
ICDM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we proposed a new approach, called FiVaTech for the problem of Web data extraction. FiVaTech is a page-level data extraction system which deduces the data schema an...
116
click to vote
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
An adaptive boosting ensemble algorithm for classifying homogeneous distributed data streams is presented. The method builds an ensemble of classifiers by using Genetic Programmi...