5550 search results - page 921 / 1110 » Different Approaches to Proof Systems |
187
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
182
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
201
Voted
SIGCOMM
2003
ACM
15 years 12 months ago
2003
ACM
Content-based full-text search is a challenging problem in Peer-toPeer (P2P) systems. Traditional approaches have either been centralized or use flooding to ensure accuracy of th...
180
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
214
click to vote
ECCV
1998
Springer
15 years 11 months ago
1998
Springer
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...