2027 search results - page 160 / 406 » Approximating power indices |
299
click to vote
FCCM
2011
IEEE
14 years 10 months ago
2011
IEEE
—String matching is a ubiquitous problem that arises in a wide range of applications in computing, e.g., packet routing, intrusion detection, web querying, and genome analysis. D...
281
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A new data structure for efficient similarity search in very large datasets of high-dimensional vectors is introduced. This structure called the inverted multi-index generalizes ...
319
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
168
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
179
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The multi-tier implementation has become the industry standard for developing scalable client-server enterprise applications. Since these applications are performance sensitive...