2203 search results - page 332 / 441 » Knowledge Integration |
143
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
115
click to vote
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
—We present a new family of tight lower and upper bounds on the Gaussian Q-function Q(x). It is first shown that, for any x, the integrand ϕ(θ; x) of the Craig representation ...
129
click to vote
NTMS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Wireless Sensor Networks (WSNs) have been of high interest during the past couple of years. One of the most important aspects of WSN research is location estimation. As a good s...
127
click to vote
ICDM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
138
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper presents the localization of a mobile robot while simultaneously mapping the position of the nodes of a Wireless Sensor Network using only range measurements. The ro...