860 search results - page 60 / 172 » A Process Algebra Based Verification of a Production System |
DELTA
2002
IEEE
14 years 2 months ago
2002
IEEE
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touc...
MICAI
2000
Springer
14 years 17 days ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...
UM
2001
Springer
14 years 1 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
SOCO
2010
Springer
13 years 3 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
ICCBR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes an approach to product recommendation that combines in a novel way content- and collaborative-based filtering techniques. The system helps the user ...