3771 search results - page 583 / 755 » Subobject Transformation Systems |
162
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
170
Voted
FIW
1998
15 years 5 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
125
Voted
PRL
2007
15 years 3 months ago
2007
Performance quantification of biometric systems, such as face tracking and recognition highly depend on the database used for testing the systems. Systems trained and tested on r...
137
Voted
CVPR
1999
IEEE
16 years 5 months ago
1999
IEEE
This paper presents a novel approach for detection and segmentation of generic shapes in cluttered images. The underlying assumption is that generic objects that are man made, fre...
129
Voted
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Abstract--Much of the visualization research has focused on improving the rendering quality and speed, and enhancing the perceptibility of features in the data. Recently, significa...