493 search results - page 53 / 99 » The oracle penalty method |
77
Voted
IEAAIE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
105
Voted
ICTAC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
118
Voted
SSD
2001
Springer
15 years 5 months ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
111
Voted
VLSID
2002
IEEE
16 years 29 days ago
2002
IEEE
In this paper, a new logic synthesis method for an AND-XOR-OR type sense-amplifying PLA is proposed. An AND-XOR-OR type sense-amplifying PLA can achieve lowpower dissipation and h...
108
click to vote
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
A novel method is proposed to calculate the coefficients of adaptive interpolation filter used in hybrid video coders for improving the coding efficiency. The proposed algorithm f...