1718 search results - page 142 / 344 » Modeling and testing of cloud applications |
FMSD
1998
13 years 9 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
EMNLP
2010
13 years 8 months ago
2010
We describe a new scalable algorithm for semi-supervised training of conditional random fields (CRF) and its application to partof-speech (POS) tagging. The algorithm uses a simil...
SSIAI
2002
IEEE
14 years 3 months ago
2002
IEEE
The parenchymal and skeletal structure as recorded on chest radiographs can vary significantly from person to person. The person’s height, width, age, gender, and other factors ...
GRC
2007
IEEE
14 years 2 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
NIPS
1997
13 years 11 months ago
1997
Image intensity variations can result from several different object surface effects, including shading from 3-dimensional relief of the object, or paint on the surface itself. An ...