1926 search results - page 307 / 386 » Modeling and Model Checking Software Product Lines |
ECIS
2003
15 years 1 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...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
EOR
2011
14 years 6 months ago
2011
In practice, managers often wish to ascertain that a particular engineering design of a production system meets their requirements. The future environment of this design is likely...
117
click to vote
JMLR
2010
14 years 6 months ago
2010
The rapid advance of computer technologies in data processing, collection, and storage has provided unparalleled opportunities to expand capabilities in production, services, comm...
110
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...