Sciweavers

14379 search results - page 2503 / 2876
» is 2000
Sort
View
PDPTA
2000
15 years 8 months ago
ORB Instrumentation for Management of CORBA
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...
Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren,...
PICS
2000
15 years 8 months ago
Image Quality Testing on the Production Line
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...
Yair Kipman, Sam Reele, Randy Dumas
PTS
2000
58views Hardware» more  PTS 2000»
15 years 8 months ago
Formal Test Automation: The Conference Protocol with PHACT
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...
Lex Heerink, Jan Feenstra, Jan Tretmans
PUK
2000
15 years 8 months ago
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
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...
Jun Miura, Yoshiaki Shirai
183
Voted
RIAO
2000
15 years 8 months ago
MproIR - A cross-language Information retrieval
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...
Bärbel Ripplinger
« Prev « First page 2503 / 2876 Last » Next »