4061 search results - page 584 / 813 » Framework Evolution Tool |
107
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— In this paper we consider the problem of sensorimotor coordination in a Bayesian framework. To this end we introduce a novel kind of Dynamic Bayesian Network serving as...
143
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—An investigative study of three–parameter diversely polarized array manifold is presented in this paper. With a polarization diversity, an extra degree of signal discr...
164
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
128
click to vote
ACNS
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
139
Voted
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Personnel risk is an issue which has not been researched well but plays an important role to determine whether a software project succeeds or fails. Most existing work focuses on ...