14379 search results - page 2503 / 2876 » is 2000 |
188
click to vote
PDPTA
2000
15 years 8 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
177
click to vote
PICS
2000
15 years 8 months ago
2000
Eastman Kodak Company is using a scanner-based image quality measurement system to perform production line testing of the image quality of a high-quality thermal media based imagi...
216
click to vote
PTS
2000
15 years 8 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
188
click to vote
PUK
2000
15 years 8 months ago
2000
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
183
Voted
RIAO
2000
15 years 8 months ago
2000
With the globalization of the world markets, the need for multilingual information processing increases, because the users are increasingly forced to deal with information availab...