Sciweavers

714 search results - page 71 / 143
» An efficient algorithm for positive realizations
Sort
View
HCI
2007
15 years 1 months ago
OntoGen: Semi-automatic Ontology Editor
In this paper we present a semi-automatic ontology editor as implemented in a new version of OntoGen system. The system integrates machine learning and text mining algorithms into ...
Blaz Fortuna, Marko Grobelnik, Dunja Mladenic
AAAI
1998
15 years 1 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
AROBOTS
2004
104views more  AROBOTS 2004»
14 years 11 months ago
A Set Theoretic Approach to Dynamic Robot Localization and Mapping
This paper addresses the localization and mapping problem for a robot moving through a (possibly) unknown environment where indistinguishable landmarks can be detected. A set theo...
Mauro Di Marco, Andrea Garulli, Antonio Giannitrap...
ICIP
2002
IEEE
16 years 1 months ago
Multiresolution moment filters
We define multi-scale moments that are estimated locally by analyzing the image through a sliding window at multiple scales. When the analysis window satisfies a two-scale relatio...
Michael Sühling, Michael Unser, Muthuvel Arig...
CJ
2008
108views more  CJ 2008»
14 years 12 months ago
Computing with Time: From Neural Networks to Sensor Networks
This article advocates a new computing paradigm, called computing with time, that is capable of efficiently performing a certain class of computation, namely, searching in paralle...
Boleslaw K. Szymanski, Gilbert Chen