Sciweavers

5608 search results - page 349 / 1122
» Structure description tools
Sort
View
156
Voted
ECEASST
2006
72views more  ECEASST 2006»
15 years 5 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
COMGEO
1998
ACM
15 years 4 months ago
Variable resolution triangulations
In this paper we introduce variable resolution 4– meshes, a powerful structure for the representation of geometric objects at multiple levels of detail. It combines most propert...
Enrico Puppo
CORR
2009
Springer
91views Education» more  CORR 2009»
15 years 2 months ago
On the Number of Membranes in Unary P Systems
We consider P systems with a linear membrane structure working on objects over a unary alphabet using sets of rules resembling homomorphisms. Such a restricted variant of P systems...
Rudolf Freund, Andreas Klein, Martin Kutrib
LREC
2008
130views Education» more  LREC 2008»
15 years 6 months ago
COLDIC, a Lexicographic Platform for LMF compliant lexica
Despite of the importance of lexical resources for a number of NLP applications (Machine Translation, Information Extraction, Event Detection and Tracking, Question Answering, amo...
Núria Bel, Sergio Espeja, Montserrat Marimo...
107
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
Conceptual Module Querying for Software Reengineering
Many tools have been built to analyze source code. Most of these tools do not adequately support reengineering activities because they do not allow a software engineer to simultan...
Elisa L. A. Baniassad, Gail C. Murphy