12373 search results - page 13 / 2475 » Semi-Logarithmic Number Systems |
122
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
126
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic computation with functions of a real variable suffers from combinatorial explosion of memory and computation time. The alternative chebfun system for such computations is...
199
click to vote
QUESTA
2011
14 years 10 months ago
2011
Abstract We consider a system with N unit-service-rate queues in tandem, with exogenous arrivals of rate λ at queue 1, under a back-pressure (MaxWeight) algorithm: service at queu...
147
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
133
click to vote
ICON
2007
IEEE
15 years 10 months ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...