Sciweavers

3885 search results - page 72 / 777
» Clarifying Goal Models
Sort
View
POPL
2010
ACM
16 years 1 months ago
Contracts Made Manifest
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
Benjamin C. Pierce, Michael Greenberg, Stephanie W...
154
Voted
IJCINI
2007
139views more  IJCINI 2007»
15 years 3 months ago
AURELLIO: A Cognitive Computational Knowledge Representation Theory
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
Mehdi Najjar, André Mayers
105
Voted
ACL
2012
13 years 6 months ago
Discriminative Learning for Joint Template Filling
This paper presents a joint model for template filling, where the goal is to automatically specify the fields of target relations such as seminar announcements or corporate acqu...
Einat Minkov, Luke S. Zettlemoyer
AIIA
2007
Springer
15 years 10 months ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
ACISICIS
2010
IEEE
15 years 5 months ago
Modeling Software Project Monitoring with Stakeholders
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
Masateru Tsunoda, Tomoko Matsumura, Ken-ichi Matsu...