Sciweavers

1944 search results - page 67 / 389
» Coupling-based Integration Testing
Sort
View
SFP
2003
13 years 9 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
ATAL
2006
Springer
13 years 11 months ago
ACTIVE: agile coordinator testbed integrated virtual environment
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
G. Emami, J. Cheng, D. Cornwell, M. Feldhousen, C....
IAT
2009
IEEE
13 years 11 months ago
Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...
Xiaoping Chen, Jiehui Jiang, Jianmin Ji, Guoqiang ...
DRR
2008
13 years 9 months ago
Efficient implementation of local adaptive thresholding techniques using integral images
Adaptive binarization is an important first step in many document analysis and OCR processes. This paper describes a fast adaptive binarization algorithm that yields the same qual...
Faisal Shafait, Daniel Keysers, Thomas M. Breuel
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 7 months ago
An Integrated Circuit Compatible Compact Package for Thermal Gas Flowmeters
An original packaging method suitable for integrated thermal mass flow sensors is presented. The method consists in the application of a plastic transparent adapter to the chip su...
P. Bruschi, V. Nurra, M. Piotto