Sciweavers

3816 search results - page 460 / 764
» Characteristic relational patterns
Sort
View
AGENTS
1999
Springer
15 years 11 months ago
Adaptive Web Site Agents
We discuss the design of a class of agents that we call adaptive web site agents. The goal of such an agent is to help a user find information at a particular web site, adapting i...
Michael J. Pazzani, Daniel Billsus
ACSAC
1998
IEEE
15 years 11 months ago
How to Increase Security in Mobile Networks by Anomaly Detection
The increasing complexity of cellular radio networks yields new demands concerning network security. Especially the task of detecting, repulsing and preventing abuse both by in- a...
Roland Büschkes, Dogan Kesdogan, Peter Reichl
SHAPE
1999
Springer
15 years 11 months ago
Geometric Grouping of Repeated Elements within Images
The objective of this work is the automatic detection and grouping of imaged elements which repeat in a scene. We show that structures that repeat in the world (for example wall p...
Frederik Schaffalitzky, Andrew Zisserman
IPPS
1996
IEEE
15 years 10 months ago
A Memory Controller for Improved Performance of Streamed Computations on Symmetric Multiprocessors
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance g...
Sally A. McKee, William A. Wulf
FM
1997
Springer
174views Formal Methods» more  FM 1997»
15 years 10 months ago
A Proof Obligation Generator for VDM-SL
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
Bernhard K. Aichernig, Peter Gorm Larsen