187 search results - page 32 / 38 » Computational methods for Generalized Sturmians basis |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
The growing amount of web-based attacks poses a severe threat to the security of web applications. Signature-based detection techniques increasingly fail to cope with the variety ...
CASES
2006
ACM
14 years 8 days ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
DAC
2006
ACM
14 years 2 months ago
2006
ACM
Until recently, most 3D graphics applications had been regarded as too computationally intensive for devices other than desktop computers and gaming consoles. This notion is rapid...
AI
2005
Springer
13 years 8 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...