1532 search results - page 62 / 307 » The Symbol Grounding Problem |
110
Voted
ECSCW
2001
15 years 5 months ago
2001
This paper seeks to inform the ongoing redesign of air traffic management by examining current practices and the adoption of a new system aiming to relieve traffic control from wor...
123
click to vote
IJBC
2007
15 years 3 months ago
2007
Abstract. The stable and unstable invariant manifolds associated with Lyapunov orbits about the libration point L1 between the primaries in the planar circular restricted three-bod...
135
click to vote
KAIS
2011
14 years 11 months ago
2011
Recommendation Systems have become an important tool to cope with the information overload problem by acquiring data about the user behavior. After tracing the user behavior, throu...
127
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
149
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...