3335 search results - page 395 / 667 » Grid result checking |
199
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
173
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
162
click to vote
DDECS
2007
IEEE
16 years 28 days ago
2007
IEEE
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
133
click to vote
ICALT
2007
IEEE
16 years 28 days ago
2007
IEEE
Evaluation is one of the most important activities in the didactic materials development since it allows developers to check if the properties of obtained material satisfy all the...
160
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—The loss of UDP/IP packets has a high impact on the quality of the low-rate video streaming, since one UDP/IP packet typically represents a considerable part of a picture, which...