523 search results - page 96 / 105 » Online Testing of Real-time Systems Using Uppaal |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
In the United States, congress has set goals for the diffusion of e-government initiatives. One of congressÂ’ goals for 2007 was for 80% of tax and informational returns to be fil...
DATAMINE
1999
13 years 7 months ago
1999
Abstract. We describe a scalable parallel implementation of the self organizing map (SOM) suitable for datamining applications involving clustering or segmentation against large da...
SIAMSC
2010
13 years 6 months ago
2010
We present a new iterative scheme for PageRank computation. The algorithm is applied to the linear system formulation of the problem, using inner-outer stationary iterations. It is...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
This paper develops algorithms to train linear support vector machines (SVMs) when training data are distributed across different nodes and their communication to a centralized no...
SIGUCCS
2004
ACM
14 years 29 days ago
2004
ACM
This paper explains two projects dealing with spam recently completed at Iowa State University (ISU). The first project was undertaken by a team composed of members of the campus ...