Sciweavers

120 search results - page 13 / 24
» New completeness results for lazy conditional narrowing
Sort
View
IJAC
2011
12 years 11 months ago
The Subword Reversing Method
We summarize the main known results involving subword reversing, a method of semigroup theory for constructing van Kampen diagrams by referring to a preferred direction. In good ca...
Patrick Dehornoy
ICPR
2004
IEEE
14 years 8 months ago
Robust Detection of People in Thermal Imagery
We present a new contour analysis technique to detect people in thermal imagery. Background-subtraction is first used to identify local regions-of-interest. Gradient information w...
James W. Davis, Vinay Sharma
AC
2003
Springer
14 years 23 days ago
3D Face Recognition Using Stereoscopic Vision
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
Umberto Castellani, Manuele Bicego, Gianluca Iacon...
ROBOCUP
1999
Springer
141views Robotics» more  ROBOCUP 1999»
13 years 11 months ago
A Segmentation System for Soccer Robot Based on Neural Networks
An innovative technique for segmentation of color images is proposed. The technique implements an approach based on thresholding of the hue histogram. A new function for detecting...
Carmelo Amoroso, Antonio Chella, Vito Morreale, Pi...
CADE
2010
Springer
13 years 8 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...