3359 search results - page 336 / 672 » A Simplified Idea Algorithm |
134
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
211
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Many applications need to solve the following problem of approximate string matching: from a collection of strings, how to find those similar to a given string, or the strings in ...
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we propose two advanced algorithms which allow for both differentiated quality-of-service (QOS) and power conservation in input-queued packet switches. These algor...
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— We explore the interconnection between search and action in the context of mobile robotics. The task of searching for an object and then performing some action with that object...
233
click to vote
WADS
2009
Springer
15 years 9 months ago
2009
Springer
We analyze the problem of packing squares in an online fashion: Given an semi-infinite strip of width 1 and an unknown sequence of squares with side lengths in [0, 1] that arrive...