838 search results - page 130 / 168 » Propagation Redundancy in Redundant Modelling |
130
click to vote
SAC
2009
ACM
16 years 5 days ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
171
Voted
DATE
2009
IEEE
16 years 3 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
160
click to vote
IROS
2009
IEEE
16 years 9 hour ago
2009
IEEE
— Simultaneous Localization and Mapping (SLAM) based on visual information is a challenging problem. One of the main problems with visual SLAM is to find good quality landmarks,...
134
Voted
IROS
2009
IEEE
16 years 9 hour ago
2009
IEEE
Abstract— For ground vehicle localization, hybrid-GNSS localizers now use commonly dead-reckoning sensors, like odometers or inertial units. They are designed to increase the acc...
174
Voted
XSYM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...