Now showing items 1-10 of 133
Building efficient and flexible feature-based indices
(Elsevier, 1990)
If database management systems are to play an important role in CAD/CAM technologies, building engineering indices must be a primary task even though it is beyond conventional database practice. Information regarding design ...
Cache coherence requirements for interprocess rendezvous
(Kluwer Academic Publishers-Plenum Publishers; Plenum Publishing Corporation ; Springer Science+Business Media, 1990-02)
Multiprocessors in which a shared bus is used by the processor to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages. A language construct that ...
Datalog vs first-order logic
(Elsevier, 1994-12)
Our main result is that every datalog query expressible in first-order logic is bounded; in terms of classical model theory it is a kind of compactness theorem for finite structures. In addition, we give some counter-examples ...
Introduction: Special Issue on Expanded Papers from the First Workshop on Multimedia Semantics, November 28/29, 2002 in Milovy, Czech Republic, in Conjunction with SOFSEM 2002
(Kluwer Academic Publishers; Springer Science+Business Media, 2004-11)
Predicting the Expected Behavior of Agents that Learn About Agents: The CLRI Framework
(Kluwer Academic Publishers; Springer Science+Business Media, 2003-01)
We describe a framework and equations used to model and predict the behavior of multi-agent systems (MASs) with learning agents. A difference equation is used for calculating the progression of an agent's error in its ...
Regular languages in NC1
(Elsevier, 1992-06)
We give several characterizations, in terms of formal logic, semigroup theory, and operations on languages, of the regular languages in the circuit complexity class AC0, thus answering a question of Chandra, Fortune, and ...
A model for learning global properties
(Elsevier, 1981)
This paper reports developments in a mathematical model of cognitive learning. The model describes the processes of formation, testing, and revision of hypotheses held by a learner attempting to understand an environment. ...
What Makes a Problem GP-Hard? Analysis of a Tunably Difficult Problem in Genetic Programming
(Kluwer Academic Publishers; Springer Science+Business Media, 2001-06)
This paper addresses the issue of what makes a problem genetic programming (GP)-hard by considering the binomial-3 problem. In the process, we discuss the efficacy of the metaphor of an adaptive fitness landscape to explain ...
Estimating L ∞ Norms by L 2k Norms for Functions on Orbits
(Springer-Verlag; Society for the Foundation of Computational Mathematics, 2002-10-17)
Abstract. Let G be a compact group acting in a real vector space V . We obtain a number of inequalities relating the L ∞ norm of a matrix element of the representation of G with its L 2k norm for a positive integer k . As ...
Best-Effort Patching for Multicast True VoD Service
(Kluwer Academic Publishers; Springer Science + Business Media, Inc., 2005-05)
A multicast Video-on-Demand (VoD) system allows clients to share a server stream by batching their requests, and hence, improves channel utilization. However, it is very difficult to equip such a VoD system with full support ...