8486 search results - page 1404 / 1698 » Ordered Enumeration Method |
165
click to vote
WEBIST
2008
15 years 8 months ago
2008
Abstract. Designing and personalising systems for specific user groups encompasses a lot of effort with respect to analysing and understanding user behaviour. The goal of our paper...
164
click to vote
WICON
2008
15 years 8 months ago
2008
Wireless connectivity for vehicles is a fast-growing market, with a plethora of different network technologies already in use. Surveys of the numbers of IEEE 802.11b/g access poin...
197
click to vote
AAAI
2006
15 years 8 months ago
2006
Stereo vision for small mobile robots is a challenging problem, particularly when employing embedded systems with limited processing power. However, it holds the promise of greatl...
194
click to vote
AAAI
2006
15 years 8 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
190
click to vote
AAAI
2006
15 years 8 months ago
2006
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...