1054 search results - page 146 / 211 » Translation Validation of System Abstractions |
123
Voted
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract—Because of the today’s market demand for highperformance, high-density portable hand-held applications, electronic system design technology has shifted the focus from ...
150
click to vote
IFIP
2009
Springer
16 years 21 days ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
174
click to vote
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract— In this work, we study the inconsistency of EKFbased SLAM from the perspective of observability. We analytically prove that when the Jacobians of the state and measurem...
127
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Elderly people are a great repository of knowledge, the majority of which has never been gathered by formal means. In this paper we introduce an application of multi-agen...
183
click to vote
ECWEB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Many current recommender systems exploit textual annotations (tags) provided by users to retrieve and suggest online contents. The text-based recommendation provided by t...