6978 search results - page 1182 / 1396 » On Proofs in System P |
MIE
2008
14 years 2 days ago
2008
In a competitive health-care market, hospitals have to focus on ways to streamline their processes in order to deliver high quality care while at the same time reducing costs. To a...
MOBIS
2008
14 years 2 days ago
2008
Abstract: Regulatory compliance sets new requirements for business process management (BPM). Companies seek to enhance their corporate governance processes and are required to put ...
MLMTA
2007
14 years 2 days ago
2007
- While grammar inference (or grammar induction) has found extensive application in the areas of robotics, computational biology, speech and pattern recognition, its application to...
AIPS
2004
14 years 2 days ago
2004
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
ECIR
2004
Springer
14 years 1 days ago
2004
Springer
In the novelty task on sentence level, the amount of information used in similarity computation is the major challenging issue. A shallow NLP approach extracts noun and verb featu...