Sciweavers

2903 search results - page 139 / 581
» On the univalence of an integral operator
Sort
View
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
EUSFLAT
2001
15 years 7 months ago
A geometric approach to aggregation
In analogy to the representation of the standard probabilistic average as an expected value of a random variable, a geometric approach to aggregation is proposed. Several properti...
Erich-Peter Klement, Radko Mesiar, Endre Pap
FUIN
2000
109views more  FUIN 2000»
15 years 6 months ago
Building Knowledge Scouts Using KGL Metalanguage
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
Ryszard S. Michalski, Kenneth A. Kaufman
AROBOTS
1999
118views more  AROBOTS 1999»
15 years 6 months ago
GripSee: A Gesture-Controlled Robot for Object Perception and Manipulation
We have designed a research platform for a perceptually guided robot, which also serves as a demonstrator for a coming generation of service robots. In order to operate semi-autono...
Mark Becker, Efthimia Kefalea, Eric Maël, Chr...
TAPOS
1998
83views more  TAPOS 1998»
15 years 6 months ago
A Structured Text ADT for Object-Relational Databases
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
L. J. Brown, Mariano P. Consens, Ian J. Davis, Chr...