860 search results - page 99 / 172 » A Process Algebra Based Verification of a Production System |
FLAIRS
2006
13 years 10 months ago
2006
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...
ISICT
2003
13 years 10 months ago
2003
Project MEMORIAL [3] is aimed at developing a new technology for creating Web based information systems using interactive electronic documents extracted from their paper originals...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CASES
2003
ACM
14 years 2 months ago
2003
ACM
Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous natur...
ANLP
2000
13 years 10 months ago
2000
Customer care in technical domains is increasingly based on e-mail communication, allowing for the reproduction of approved solutions. Identifying the customer's problem is o...