2944 search results - page 107 / 589 » Robust Semantic Construction |
308
click to vote
NFM
2011
15 years 1 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
180
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— In this paper, we address the problem of voice multicasting in ad hoc wireless networks. The unique characteristics of voice traffic (viz. small packet size, high pack...
157
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
—The inherent uncertainty associated with unstructured grasping tasks makes establishing a successful grasp difficult. Traditional approaches to this problem involve hands that a...
176
click to vote
ISMAR
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper describes a novel image-based geometric registration method using visually elegant and robust semi-fiducial markers in mixed reality (MR). Most traditional visual marke...
173
click to vote
BROADNETS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— In this paper, we address the problem of video multicasting in ad hoc wireless networks. The salient characteristics of video traffic make conventional multicasting pr...