4184 search results - page 279 / 837 » Names of Our Lives |
226
click to vote
WEA
2010
Springer
15 years 12 months ago
2010
Springer
We investigate how the recently developed different approaches to generate randomized roundings satisfying disjoint cardinality constraints behave when used in two classical algori...
188
click to vote
WAIM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present an online citation entry clustering system based on three-tier clustering. The objective is to further process search results returned by bibliography dat...
191
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
184
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
It is observed that a better approach to Web information understanding is to base on its document framework, which is mainly consisted of (i) the title and the URL name of the pag...
187
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...