Sciweavers

5668 search results - page 410 / 1134
» Overlaps in Requirements Engineering
Sort
View
OWLED
2007
15 years 8 months ago
On Querying Ontologies with Contextual Logic Programming
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
Cláudio Fernandes, Nuno Lopes 0002, Salvado...
APCCM
2009
15 years 8 months ago
Conceptual Application Domain Modelling
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
Bernhard Thalheim, Klaus-Dieter Schewe, Hui Ma
IGPL
2010
91views more  IGPL 2010»
15 years 1 months ago
A reason maintenance perspective on relevant Ramsey conditionals
This paper presents a Ramsey account of conditionals within the framework of an implemented reason maintenance system. The reason maintenance system is built on top of a deductive...
Haythem O. Ismail
TCOM
2010
81views more  TCOM 2010»
15 years 1 months ago
Linear MMSE Estimation of Large-Magnitude Symmetric Levy-Process Phase-Noise
The linear minimum-mean-square error (LMMSE) estimator is herein derived to estimate phase-noise of Levy statistics (including Wiener phase-noise) and of arbitrarily large magnitud...
Yeong-Tzay Su, Kainam Thomas Wong, Keang-Po Ho
ICCV
2005
IEEE
16 years 8 months ago
Learning Object Categories from Google's Image Search
Current approaches to object category recognition require datasets of training images to be manually prepared, with varying degrees of supervision. We present an approach that can...
Robert Fergus, Fei-Fei Li 0002, Pietro Perona, And...