2082 search results - page 150 / 417 » Change Paths in Reasoning! |
ICTAI
2008
IEEE
14 years 4 months ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
—Recharging the batteries of a moribund sensor deployed as part of a wireless sensor network is often infeasible due to logistical considerations. With the purpose of prolonging ...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In the past many solutions for simultaneous localization and mapping (SLAM) have been presented. Recently these solutions have been extended to map large environments w...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Libraries of trajectories are a promising way of creating policies for difficult problems. However, often it is not desirable or even possible to create a new library for ever...
PERCOM
2007
ACM
14 years 4 months ago
2007
ACM
A substantial amount of research on routing in sensor networks has focused upon methods for constructing the best route, or routes, from data source to sink before sending the dat...