Sciweavers

3706 search results - page 106 / 742
» System Description: E-KRHyper
Sort
View
SEKE
1995
Springer
13 years 11 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
DICTA
2003
13 years 9 months ago
3-D Surface Segmentation of Free-Form Objects Using Implicit Algebraic Surfaces
This paper describes a new technique for free-form object segmentation from a single arbitrary-viewed range image. The aim is to derive a surface description of objects that may va...
Rachid Benlamri, Yousuf Al-Marzooqi
IJCAI
2001
13 years 9 months ago
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with ve...
Volker Haarslev, Ralf Möller
ETFA
2006
IEEE
14 years 2 months ago
Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
Marcos Vinicius Linhares, Alexandre Jose da Silva,...
IEAAIE
2004
Springer
14 years 1 months ago
Iterative Semi-supervised Learning: Helping the User to Find the Right Records
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
Chris Drummond