4299 search results - page 536 / 860 » Concurrent Test Generation |
153
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
182
click to vote
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...
235
Voted
ARTCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents the Part Of Speech tagger and Chunker for Tamil using Machine learning techniques. Part Of Speech tagging and chunking are the fundamental processing steps for...
113
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
112
click to vote
ICDS
2009
IEEE
15 years 11 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...