3333 search results - page 409 / 667 » Abstract Proof Search |
175
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
172
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: We study the number of matching substrings in the pattern matching problem. In general, there can be a quadratic number of matching substrings in the size of a given text...
174
click to vote
KES
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a first system to semi-automatically create a visual representation for a given, short text. We first parse the input text, decompose it into suitable units,...
195
click to vote
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. There is a variety of methods for ranking objectives in multiobjective optimization and some are difficult to define because they require information a priori (e.g. esta...
185
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper describes a path-based method to use the multi-step navigation information discovered from website structures for web page ranking. Use of hyperlinks to enhanc...