1532 search results - page 58 / 307 » The Symbol Grounding Problem |
127
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
156
click to vote
RTSS
1995
IEEE
15 years 7 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
177
Voted
CMMR
2009
Springer
15 years 7 months ago
2009
Springer
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...
117
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
— Convexity/concavity properties of symbol error rates (SER) of the maximum likelihood detector operating in the AWGN channel (non-fading and fading) are studied. Generic conditi...
131
Voted
ROBOTICA
2008
15 years 3 months ago
2008
Polyhedral scene analysis studies whether a 2D line drawing of a 3D polyhedron is realizable in the space, and if so, parameterizing the space of all possible realizations. For gen...