8903 search results - page 118 / 1781 » Alternative |
118
click to vote
IJCSA
2010
2010
Automatic Language Identification: An Alternative Unsupervised Approach Using a New Hybrid Algorithm
15 years 3 months ago
152
Voted
IPL
2010
15 years 3 months ago
2010
Control dependence forms the basis for many program analyses, such as program slicing. Recent work on control dependence analysis has led to new definitions of dependence that cat...
70
Voted
MKTSCI
2010
15 years 3 months ago
2010
101
Voted
NECO
2010
15 years 3 months ago
2010
139
click to vote
TCS
2010
15 years 3 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...