3022 search results - page 126 / 605 » Make Way for WayMaker |
99
Voted
FMOODS
2003
15 years 2 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
WEBNET
1998
15 years 2 months ago
1998
: As the new network computer technology forces into every aspect of daily life, many things change in a rather rapid way, compared to what we were used to until recently. One of t...
95
Voted
UAI
2000
15 years 2 months ago
2000
We give an interpretation of the Maximum Entropy (MaxEnt) Principle in gametheoretic terms. Based on this interpretation, we make a formal distinction between di erent ways of app...
108
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
108
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...