1585 search results - page 148 / 317 » A framework for computer-aided validation |
151
Voted
SCIA
2009
Springer
15 years 10 months ago
2009
Springer
This paper concerns the building of enhanced scene maps during real-time monocular SLAM. Specifically, we present a novel algorithm for detecting and estimating planar structure i...
146
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
155
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper considers distributed protocol design for joint sub-carrier, transmission scheduling and power management in uplink/downlink multi-cellular OFDMA wireless networks. T...
124
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Blogs have become an increasingly popular form of displaying online content for general Internet users. Attracting new bloggers and retaining existing bloggers are crucial to blog...
97
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a new strategy for designing the parallel phone recognizers for spoken language recognition. Given a collection of parallel phone recognizers, we select a subs...