Sciweavers

1648 search results - page 135 / 330
» Structuring namespace descriptions
Sort
View
ADC
2009
Springer
132views Database» more  ADC 2009»
15 years 10 months ago
On Inference of XML Schema with the Knowledge of an Obsolete One
The XML has undoubtedly become a standard for data representation and manipulation. But most of XML documents are still created without the respective description of their structu...
Irena Mlynkova
108
Voted
DSD
2008
IEEE
79views Hardware» more  DSD 2008»
15 years 10 months ago
Digital Systems Architectures Based on On-line Checkers
In this paper, a methodology for generating VHDL descriptions of hardware checkers is presented. It is shown how the methodology can be used to generate on-line checkers of commun...
Martin Straka, Zdenek Kotásek, Jan Winter
DFT
2007
IEEE
123views VLSI» more  DFT 2007»
15 years 10 months ago
Checker Design for On-line Testing of Xilinx FPGA Communication Protocols
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
Martin Straka, Jiri Tobola, Zdenek Kotásek
123
Voted
SMC
2007
IEEE
129views Control Systems» more  SMC 2007»
15 years 10 months ago
Planning human centered robot activities
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...
Vincent Montreuil, Aurélie Clodic, Maxime R...
IWINAC
2007
Springer
15 years 10 months ago
Brain Organization and Computation
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
Andreas Schierwagen