Sciweavers

4231 search results - page 427 / 847
» Using Language More Responsibly
Sort
View
CSMR
2009
IEEE
16 years 1 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
CPAIOR
2009
Springer
16 years 1 months ago
Reformulating Global Grammar Constraints
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
George Katsirelos, Nina Narodytska, Toby Walsh
153
Voted
APLAS
2009
ACM
16 years 28 days ago
A Fresh Look at Separation Algebras and Share Accounting
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
Robert Dockins, Aquinas Hobor, Andrew W. Appel
KCAP
2009
ACM
16 years 28 days ago
A catalogue of OWL ontology antipatterns
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
Catherine Roussey, Óscar Corcho, Luis Manue...
ICPR
2008
IEEE
16 years 26 days ago
A Hybrid PNN-GMM classification scheme for speech emotion recognition
With the increasing demand for spoken language interfaces in human-computer interactions, automatic recognition of emotional states from human speeches has become of increasing im...
Wee Ser, Ling Cen, Zhu Liang Yu