Sciweavers

7623 search results - page 807 / 1525
» Constructive Volume Modeling
Sort
View
APSEC
2005
IEEE
16 years 1 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
ICMCS
2005
IEEE
104views Multimedia» more  ICMCS 2005»
16 years 1 months ago
Spherical Harmonics Descriptor for 2D-Image Retrieval
In this paper, spherical harmonics are proposed as shape descriptors for 2d images. We introduce the concept of connectivity; 2d images are decomposed using connectivity which is ...
Atul Sajjanhar, Guojun Lu, Dengsheng Zhang
OTM
2005
Springer
16 years 29 days ago
Shelter from the Storm: Building a Safe Archive in a Hostile World
Abstract. The storing of data and configuration files related to scientific experiments is vital if those experiments are to remain reproducible, or if the data is to be shared ...
Jon MacLaren, Gabrielle Allen, Chirag Dekate, Dayo...
APPROX
2004
Springer
88views Algorithms» more  APPROX 2004»
16 years 26 days ago
A Stateful Implementation of a Random Function Supporting Parity Queries over Hypercubes
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
Andrej Bogdanov, Hoeteck Wee
EKAW
2004
Springer
16 years 26 days ago
On the Foundations of UML as an Ontology Representation Language
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre