4276 search results - page 397 / 856 » Techniques for Empirical Validation |
135
click to vote
ICA
2007
Springer
16 years 1 months ago
2007
Springer
A common problem in independent component analysis after prewhitening is to optimize some contrast on the orthogonal or unitary group. A popular approach is to optimize the contras...
198
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
195
click to vote
INFOCOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— The input-queued switch architecture is widely used in Internet routers, due to its ability to run at very high line speeds. A central problem in designing an input-queued swit...
195
click to vote
ISESE
2006
IEEE
16 years 26 days ago
2006
IEEE
Controlled experiments are a key approach to evaluate and evolve our understanding of software engineering technologies. However, defining and running a controlled experiment is a...
201
click to vote
ISSRE
2006
IEEE
16 years 26 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...