Sciweavers

3053 search results - page 276 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
UML
1999
Springer
15 years 8 months ago
Towards a UML Extension for Hypermedia Design
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
Hubert Baumeister, Nora Koch, Luis Mandel
ICIP
2008
IEEE
16 years 6 months ago
TAC: Thresholding active contours
In this paper, we describe a region-based active contour technique to perform image segmentation. We propose an energy functional that realizes an explicit trade-off between the (...
Samuel Dambreville, Anthony J. Yezzi, Shawn Lankto...
KR
2004
Springer
15 years 9 months ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
LOPSTR
1999
Springer
15 years 8 months ago
Roles of Program Extension
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Ralf Lämmel, Günter Riedewald, Wolfgang ...
GIS
2007
ACM
15 years 4 months ago
Mesh simplification for building typification
This paper describes a deterministic approach for the typification of buildings which uses several levels of details for the derivation of intermediate scales. The typification pro...
Dirk Burghardt, A. Cecconi