Provides an introductory look at what savvy users should know about the implications of having information about cited references in I/A records. Looks at the more sophisticated, link-enabled cited references and the novel citation scores in full-text collections, then discusses the alternatives for searching efficiently by elements of cited references: cited author, cited title, cited source a...

ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 Abstract. The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to understand and dangerous to change. To make the model easier to work with, we formalize the implicit principles behind The SQL standard specifies authorization via a large set of rather opaque rules, which are dif...

ing Irrelevant Distinctions in Qualitative Simulationt Pierre Fouche( 1 ) & Benjamin Kuipers(2 ) (1 )Universitd de Technologie de Compibgne C.N .R.S . U.R.A. 817 B.P . 649 60206 Compiegne, France Email : fouche@ a frutc5l .bitnet (2)Department of Computer Sciences The University of Texas at Austin Austin TX 78712, USA Email : kuipers@ a cs .utexas.edu Abstract : One main problem in qualitative ...

ing Reusable Cases from Reinforcement Learning Andreas von Hessling and Ashok K. Goel College of Computing Georgia Institute of Technology Atlanta, GA 30318 {avh, goel}@cc.gatech.edu Abstract. Reinforcement Learning is a popular technique for gameplaying because it can learn an optimal policy for sequential decision problems in which the outcome (or reward) is delayed. However, Reinforcement Le...

ing Communication to Reason about Distributed Algorithms? Michel Charpentier, Mamoun Filali, Philippe Mauran, G erard Padiou, Philippe Qu einnec LIMA IRIT, ENSEEIHT 2, rue Charles Camichel 31071 Toulouse cedex, FRANCE e-mail: fcharpov,mauran,padiou,[email protected], [email protected] Abstract. In distributed systems, message passing is a low level representation of communication resulting in in...

1

CURRENT ISSUES facing abstracting and indexing services serving scientists in biology, medicine, and agriculture bring into sharp focus the pressures which result from accelerating needs and from the impact of contemporary technology on document preparation and control. Nonetheless, the patterns of publication of scientific literature which we may describe today have been shaped during the past...

We present a simple way of incorporating the structure contextual extensions into quantum gravity models. The [Formula: see text]-algebras, originally proposed for hidden variables, are generalized to cones indexed by contexts and their limit in category. By abstracting models as functors, we study categorical limits these functors several Such useful building topos-theoretic gravity.

algebra is based on abstracting from algebra its core properties and studying algebra in terms of those properties.