623 search results - page 118 / 125 » Relational Parametricity for Control Considered as a Computa... |
USENIX
2007
15 years 2 months ago
2007
Memory state can be corrupted by the impact of particles causing single-event upsets (SEUs). Understanding and dealing with these soft (or transient) errors is important for syste...
123
click to vote
IS
2006
14 years 11 months ago
2006
In-network data aggregation has been recently proposed as an effective means to reduce the number of messages exchanged in wireless sensor networks. Nodes of the network form an a...
103
click to vote
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. QoS-aware distributed applications such as certain Multimedia and Ubiquitous Computing applications can benefit greatly from the provision of QoS guarantees from the unde...
118
click to vote
PAMI
2006
14 years 11 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
120
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
An important means of allowing non-expert end-users to pose ad hoc queries — whether over single databases or data integration systems — is through keyword search. Given a set...