3353 search results - page 374 / 671 » Laver and set theory |
148
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
178
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
155
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
200
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
From the user’s point of view, setting the parameters of a genetic algorithm (GA) is far from a trivial task. Moreover, the user is typically not interested in population sizes,...
223
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Two novel suboptimal algorithms for mutual exclusion in distributed systems are presented. One is based on the modi cation of Maekawa's grid based quorum scheme. The size of ...