3482 search results - page 666 / 697 » In Praise of Numerical Computation |
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Energy of Wheeled Mobile Robot (WMR) is usually supplied by batteries with finite energy. In order to extend run-time of battery-powered WMR, it is necessary to minimize the e...
QSHINE
2005
IEEE
14 years 2 months ago
2005
IEEE
—We propose an adaptive hybrid automatic repeat request–forward error correction (ARQ–FEC) erasure-correcting scheme for quality of service (QoS)-driven mobile multicast serv...
SMI
2005
IEEE
14 years 2 months ago
2005
IEEE
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...