1532 search results - page 32 / 307 » The Symbol Grounding Problem |
260
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
131
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
151
Voted
PKDD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
157
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
161
Voted
TSMC
2011
14 years 10 months ago
2011
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...