10051 search results - page 246 / 2011 » A Dynamic Separator Algorithm |
167
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Credal networks are models that extend Bayesian nets to deal with imprecision in probability, and can actually be regarded as sets of Bayesian nets. Evidence suggests that credal ...
135
click to vote
PR
2002
15 years 6 months ago
2002
Devanagari script is a two dimensional composition of symbols. It is highly cumbersome to treat each composite character as a separate atomic symbol because such combinations are v...
159
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
182
click to vote
ISORC
2008
IEEE
16 years 25 days ago
2008
IEEE
Some emerging networked embedded real-time applications have relatively long reaction time magnitudes—e.g., milliseconds to minutes. These longer execution time magnitudes allow...
169
click to vote
ALENEX
2003
15 years 7 months ago
2003
Ongoing changes in computer performance are affecting the efficiency of string sorting algorithms. The size of main memory in typical computers continues to grow, but memory acce...