Sciweavers

3457 search results - page 50 / 692
» A Symbol Is Not a Symbol
Sort
View
81
Voted
CORR
2009
Springer
74views Education» more  CORR 2009»
14 years 10 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...
81
Voted
IPPS
2008
IEEE
15 years 7 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...
111
Voted
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
14 years 11 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»
15 years 4 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...
119
Voted
VLC
2008
156views more  VLC 2008»
15 years 13 days 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...