2741 search results - page 201 / 549 » Engineering Mathematical Knowledge |
107
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
141
Voted
B
2007
Springer
15 years 9 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
121
Voted
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
— This paper discusses reduction of the number of product terms in representation of totally symmetric Boolean functions by Sum of Products (SOP) and Fixed Polarity ReedMuller (F...
136
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
110
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
PKIP, Patterned Keywords in Phrase, is our feature selection approach to text categorization (TC) for item banks. An item bank is a collection of textual data in which each item c...