12193 search results - page 349 / 2439 » It's not all about |
141
click to vote
JCC
2008
15 years 6 months ago
2008
: In accounting for the magnetic properties of discrete and extended compounds with unpaired spins, it is crucial to know the nature of their ground and low-lying excited states. I...
185
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
160
click to vote
JMLR
2006
15 years 6 months ago
2006
We give a review of various aspects of boosting, clarifying the issues through a few simple results, and relate our work and that of others to the minimax paradigm of statistics. ...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
163
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...