10038 search results - page 1514 / 2008 » Model Checking for Managers |
220
click to vote
JDCTA
2010
15 years 1 months ago
2010
To manage the complicated data such as recursive elements, multiply namespaces, repeatable structures, extended elements and attributes in the XML Binding documents of distance ed...
186
click to vote
TITS
2010
15 years 1 months ago
2010
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
244
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--Unlimited vocabulary annotation of multimedia documents remains elusive despite progress solving the problem in the case of a small, fixed lexicon. Taking advantage of th...
250
click to vote
TMM
2010
15 years 1 months ago
2010
With the exponential growth of Web 2.0 applications, tags have been used extensively to describe the image contents on the Web. Due to the noisy and sparse nature in the human gene...
201
click to vote
TNN
2010
15 years 1 months ago
2010
We propose a multiple incremental decremental algorithm of Support Vector Machine (SVM). Conventional single incremental decremental SVM can update the trained model efficiently w...