Sciweavers

10289 search results - page 412 / 2058
» Standard bases in K
Sort
View
IDTRUST
2010
ACM
16 years 1 months ago
Practical and secure trust anchor management and usage
Public Key Infrastructure (PKI) security depends upon secure management and usage of trust anchors. Unfortunately, widely used mechanisms, management models and usage practices re...
Carl Wallace, Geoff Beier
SIGCSE
2010
ACM
132views Education» more  SIGCSE 2010»
16 years 1 months ago
Undergraduate computer science education in China
This paper examines the current status of professional computing education for undergraduate majors and fundamental computer education for non-majors in China. We describe the evo...
Ming Zhang, Virginia Mary Lo
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
16 years 1 months ago
The Columbia grasp database
Abstract— Collecting grasp data for learning and benchmarking purposes is very expensive. It would be helpful to have a standard database of graspable objects, along with a set o...
Corey Goldfeder, Matei T. Ciocarlie, Hao Dang, Pet...
TPHOL
2008
IEEE
16 years 1 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
GLOBECOM
2007
IEEE
16 years 1 months ago
Improving Connectivity via Relays Deployment in Wireless Sensor Networks
Abstract— Enhancing the connectivity of wireless sensor networks is necessary to avoid the occurrence of coverage gaps. In this paper, we aim at improving the network connectivit...
Ahmed S. Ibrahim, Karim G. Seddik, K. J. Ray Liu