3742 search results - page 54 / 749 » On the Use of Formal Techniques for Validation |
127
click to vote
XIMEP
2004
ACM
15 years 11 months ago
2004
ACM
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
155
click to vote
ZUM
2005
Springer
15 years 11 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
159
click to vote
ICMLA
2008
15 years 7 months ago
2008
In this paper, a new method for detecting shot boundaries in video sequences using a late fusion technique is proposed. The method uses color histogram as the feature, and process...
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Load cell response correction can be used to speed up the process of measurement. This paper investigates the application of analog adaptive techniques in load cell response corre...
163
click to vote
ANSS
2007
IEEE
16 years 14 days ago
2007
IEEE
As wireless networks have become more complex with packet services and sophisticated modulation techniques, validation using multidimensional Markov Chain models has become increa...