2409 search results - page 404 / 482 » Logical systems for structured specifications |
138
Voted
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
141
Voted
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
The domain of cookery has been of interest for Case-Based Reasoning (CBR) research for many years since the CHEF case-based planning system in the mid 1980s. This paper returns to ...
112
click to vote
LREC
2010
15 years 5 months ago
2010
Systems for syntactically parsing sentences have long been recognized as a priority in Natural Language Processing. Statistics-based systems require large amounts of high quality ...
117
Voted
AAAI
2006
15 years 5 months ago
2006
In this paper, we describe a computer-supported cooperative learning system in education and the results of its deployment. The system, called I-MINDS, consists of a set of teache...
103
Voted
ECIS
2003
15 years 5 months ago
2003
This paper aims to show investigations made in knowledge e-marketplaces (Ke-markets). It gathers, reviews, structures, and compiles in a homogeneous presentation information of th...