5550 search results - page 935 / 1110 » Different Approaches to Proof Systems |
167
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
173
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
158
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Millions of people are using the World Wide Web and are publishing content online. This user generated content contains many information relevant not only to marketing but to co...
203
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Text extraction is an important phase in document recognition systems. In order to segment text from a page document it is necessary to detect all the possible manuscript text reg...
184
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...