Sciweavers

16666 search results - page 219 / 3334
» Descriptive and Computational Complexity
Sort
View
SEKE
1995
Springer
15 years 8 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
DLOG
2007
15 years 7 months ago
Expressive Querying over Fuzzy DL-Lite Ontologies
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...
Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, E...
152
Voted
DICTA
2003
15 years 6 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
131
Voted
ENTCS
2007
112views more  ENTCS 2007»
15 years 4 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
CVPR
2003
IEEE
16 years 6 months ago
Statistics of Shape via Principal Geodesic Analysis on Lie Groups
Principal component analysis has proven to be useful for understanding geometric variability in populations of parameterized objects. The statistical framework is well understood ...
P. Thomas Fletcher, Conglin Lu, Sarang C. Joshi