Sciweavers

2125 search results - page 128 / 425
» Points with Type-2 Operations
Sort
View
ISBI
2008
IEEE
16 years 4 months ago
Innovation modelling and wavelet analysis of fractal processes in bio-imaging
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
Pouya Dehghani Tafti, Dimitri Van De Ville, Michae...
103
Voted
CHI
2007
ACM
16 years 3 months ago
Soap: how to make a mouse work in mid-air
Computer mice do not work in mid air. The reason is that a mouse is really only half an input device--the other half being the surface the mouse is operated on, such as a mouse pa...
Patrick Baudisch, Mike Sinclair, Andrew Wilson
WISTP
2009
Springer
15 years 10 months ago
Algebraic Attacks on RFID Protocols
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...
Ton van Deursen, Sasa Radomirovic
124
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
Coding Versus ARQ in Fading Channels: How Reliable Should the PHY Be?
—This paper studies the tradeoff between channel coding and ARQ (automatic repeat request) in Rayleigh blockfading channels. A heavily coded system corresponds to a low transmiss...
Peng Wu, Nihar Jindal
134
Voted
TPHOL
2009
IEEE
15 years 10 months ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
Andreas Lochbihler