6799 search results - page 18 / 1360 » The Tao of Modeling Spaces |
IJSEKE
2011
13 years 1 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
ADCM
2010
13 years 10 months ago
2010
For adaptive representation of nonlinear signals, the bank M of real square integrable functions that have nonlinear phases and nonnegative instantaneous frequencies under the ana...
MOC
2002
13 years 9 months ago
2002
The convergence of a class of combined spectral-finite difference methods using Hermite basis, applied to the Fokker-Planck equation, is studied. It is shown that the Hermite based...
AMI
2009
Springer
14 years 5 days ago
2009
Springer
Existing work on sensor-based activity recognition focuses mainly on single-user activities. However, in real life, activities are often performed by multiple users involving inter...
CDES
2007
13 years 11 months ago
2007
- Computer component fabrication is approaching physical limits of traditional photolithographic fabrication techniques. An alternative computer architecture may be enabled by the ...