3116 search results - page 187 / 624 » Positively dependent types |
120
click to vote
CAD
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
146
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
A computationally efficient algorithm is proposed to remove noise impulses from speech and audio signals while retaining its features and tonal quality. The proposed method is bas...
130
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
138
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...
122
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
Open access publishing strategies have traditionally been directed towards what has been regarded as a homogenous scientific community of universities, researchers and libraries. ...