Sciweavers

1287 search results - page 154 / 258
» Unnatural language detection
Sort
View
DLOG
2010
15 years 4 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
ER
2010
Springer
132views Database» more  ER 2010»
15 years 4 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
NAACL
2010
15 years 4 months ago
Training Paradigms for Correcting Errors in Grammar and Usage
This paper proposes a novel approach to the problem of training classifiers to detect and correct grammar and usage errors in text by selectively introducing mistakes into the tra...
Alla Rozovskaya, Dan Roth
IJISMD
2010
164views more  IJISMD 2010»
15 years 3 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
AOSD
2012
ACM
14 years 2 months ago
A closer look at aspect interference and cooperation
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
Cynthia Disenfeld, Shmuel Katz