18306 search results - page 3427 / 3662 » Algorithmics in Exponential Time |
152
click to vote
TLCA
1997
Springer
15 years 6 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
134
click to vote
ASPLOS
2009
ACM
15 years 6 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
105
Voted
PET
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the degree to which modern web browsers are subject to “device fingerprinting” via the version and configuration information that they will transmit to website...
118
Voted
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
Migration to a converged network has caused service providers to deploy real time applications such as voice over an IP (VoIP) network. From the provider's perspective, the s...
142
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
Peer-to-peer technique has now become one of the major techniques to exchange digital content between peers of the same interest. However, as the amount of peer-topeer traffic inc...