317 search results - page 33 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
140
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—This paper presents a fully functional and highly portable mini Unmanned Aerial Vehicle (UAV) system, HAWK, for conducting aerial localization. HAWK is a programmable mini helic...
114
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
135
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
111
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...