Sciweavers

3457 search results - page 50 / 692
» A Symbol Is Not a Symbol
Sort
View
CORR
2009
Springer
74views Education» more  CORR 2009»
13 years 8 months ago
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kul...
IPPS
2008
IEEE
14 years 4 months ago
Symbolic expression analysis for compiled communication
Enabling circuit switching in multiprocessor systems has the potential to achieve more efficient communication with lower cost compared to packet/wormhole switching. However, in ...
Shuyi Shao, Yu Zhang, Alex K. Jones, Rami G. Melhe...
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
13 years 8 months ago
Sampling-Based Motion and Symbolic Action Planning with geometric and differential constraints
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
Erion Plaku, Gregory D. Hager
GW
1999
Springer
116views Biometrics» more  GW 1999»
14 years 2 months ago
Temporal Symbolic Integration Applied to a Multimodal System Using Gestures and Speech
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...
Timo Sowa, Martin Fröhlich, Marc Erich Latosc...
VLC
2008
156views more  VLC 2008»
13 years 10 months ago
An agent-based framework for sketched symbol interpretation
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
Giovanni Casella, Vincenzo Deufemia, Viviana Masca...