1830 search results - page 248 / 366 » Centering in Dynamic Semantics |
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
101
click to vote
SEMCO
2008
IEEE
15 years 5 months ago
2008
IEEE
A central problem in automatic sound recognition is the mapping between low-level audio features and the meaningful content of an auditory scene. We propose a dynamic network mode...
ICDM
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a machine learning methodology (models, algorithms, and experimental data) to discovering the agent dynamics that drive the evolution of the social groups in a communit...