Sciweavers

2608 search results - page 402 / 522
» Subjects, Models, Languages, Transformations
Sort
View
PLDI
2003
ACM
15 years 11 months ago
Points-to analysis using BDDs
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
Marc Berndl, Ondrej Lhoták, Feng Qian, Laur...
161
Voted
SIGMOD
2010
ACM
170views Database» more  SIGMOD 2010»
15 years 11 months ago
Querying data provenance
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...
Grigoris Karvounarakis, Zachary G. Ives, Val Tanne...
CLEF
2008
Springer
15 years 8 months ago
Allomorfessor: Towards Unsupervised Morpheme Analysis
Many modern natural language processing applications would benefit from automatic morphological analysis of words, especially when dealing with morphologically rich languages. Con...
Oskar Kohonen, Sami Virpioja, Mikaela Klami
MBEES
2007
15 years 7 months ago
Generierung von UML-Modellen aus formalisierten Anwendungsfallbeschreibungen
Abstract: In diesem Kurzbeitrag zeigen wir, wie textuelle Anwendungsfallbeschreibungen werkzeuggest¨utzt in UML-Aktivit¨atsdiagramme ¨uberf¨uhrt werden k¨onnen. Mit Hilfe eine...
Mario Friske, Bernd-Holger Schlingloff
GIS
2008
ACM
16 years 7 months ago
Quantifying spatial prepositions: an experimental study
Many aspects of spatial language concerned with relationships between spatial entities are essentially vague. Current GIS technology provides very little support for dealing with ...
Mark M. Hall, Christopher B. Jones