Sciweavers

2451 search results - page 152 / 491
» The Octagon Abstract Domain
Sort
View
175
Voted
FORTE
2010
15 years 8 months ago
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuen...
218
Voted
CISST
2004
186views Hardware» more  CISST 2004»
15 years 8 months ago
Colour and Shape Based Image Retrieval for CVPIC Coded Images
Abstract Compressed domain image retrieval is going to play an increasingly important role in the future. It allows the calculation of image features and hence content-based image ...
Gerald Schaefer, Simon Lieutaud
DAGSTUHL
2003
15 years 8 months ago
Ranked representation of vector fields
Abstract Browsing and visualizing large datasets is often a tedious chore. Locating features, especially in a wavelet transform domain is usually offered as a possible solution. W...
Bala Krishna Nakshatrala, David Thompson, Raghu Ma...
WOA
2004
15 years 8 months ago
Using Method Engineering for the Construction of Agent-Oriented Methodologies
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
181
Voted
ECIS
2000
15 years 8 months ago
Semantic Event Model and its Implication on Situation Detection
- Events are at the core of reactive applications, which have become popular in many domains. Contemporary modeling tools lack the capability express the event semantics and relati...
Asaf Adi, David Botzer, Opher Etzion