7047 search results - page 54 / 1410 » Focusing on Binding and Computation |
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper a new strategy for handling the observation information of a bearing-range sensor throughout the filtering process of EKF-SLAM is proposed. This new strategy is ...
CN
2000
14 years 11 months ago
2000
The Stanford Power Browser project addresses the problems of interacting with the World-Wide Web through wirelessly connected Personal Digital Assistants (PDAs). These problems in...
BMCBI
2010
14 years 12 months ago
2010
Background: Our current understanding of transcription factor binding sites (TFBSs) in sequenced prokaryotic genomes is very limited due to the lack of an accurate and efficient c...
111
click to vote
DAC
2004
ACM
16 years 24 days ago
2004
ACM
Memory-related activity is one of the major sources of energy consumption in embedded systems. Many types of memories used in embedded systems allow multiple operating modes (e.g....
105
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...