6368 search results - page 960 / 1274 » Modeling Problem Transformations based on Data Complexity |
189
click to vote
ESAW
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...
175
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
173
click to vote
CMA
2010
15 years 4 months ago
2010
Abstract. Previous work [51] showed how to solve time-fractional diffusion equations by particle tracking. This paper extends the method to the case where the order of the fraction...
184
Voted
NIPS
1998
15 years 8 months ago
1998
We introduce a semi-supervised support vector machine (S3 VM) method. Given a training set of labeled data and a working set of unlabeled data, S3 VM constructs a support vector m...
145
click to vote
PAM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The development of veracious models of the Internet topology has received a lot of attention in the last few years. Many proposed models are based on topologies derived f...