490 search results - page 15 / 98 » A Framework for Developing Local E-government |
SLOGICA
1998
13 years 7 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
SENSYS
2006
ACM
14 years 1 months ago
2006
ACM
The problem of localization in wireless sensor networks where nodes do not use ranging hardware, remains a challenging problem, when considering the required location accuracy, en...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The availability of positional information is of great importance in many commercial, governmental, and military applications. Localization is commonly accomplished through the use...
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
This paper describes a new method for estimating optical flow that strikes a balance between the flexibility of local dense computations and the robustness and accuracy of global ...
VLSID
2005
IEEE
14 years 7 months ago
2005
IEEE
This paper employs general multivariate normal distribution to develop a new efficient statistical timing analysis methodology. The paper presents the theoretical framework of the...