Sciweavers

16616 search results - page 364 / 3324
» Extending Extended Vacuity
Sort
View
ARSCOM
2004
72views more  ARSCOM 2004»
15 years 6 months ago
Exponential lower bounds for the numbers of Skolem-type sequences
It was shown by Abrham that the number of pure Skolem sequences of order n, n 0 or 1 (mod 4), and the number of extended Skolem sequences of order n, are both bounded below by 2 ...
G. K. Bennett, Mike J. Grannell, Terry S. Griggs
CL
2000
Springer
15 years 6 months ago
Semantics of well-moded input-consuming logic programs
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
RAS
2000
70views more  RAS 2000»
15 years 6 months ago
Feature extraction and tracking for scanning range sensors
A solution to the problem of simultaneously extracting and tracking a piecewise-linear range representation of a mobile robot's local environment is presented. The classical ...
Nick E. Pears
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
15 years 5 months ago
Observability analysis of relative localization for AUVs based on ranging and depth measurements
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
EMNLP
2010
15 years 4 months ago
Automatic Discovery of Manner Relations and its Applications
This paper presents a method for the automatic discovery of MANNER relations from text. An extended definition of MANNER is proposed, including restrictions on the sorts of concep...
Eduardo Blanco, Dan I. Moldovan