Sciweavers

7421 search results - page 1250 / 1485
» In search of dependable design
Sort
View
AGENTS
1997
Springer
15 years 11 months ago
An Adaptive Web Page Recommendation Service
An adaptive recommendation service seeks to adapt to its users, providing increasingly personalized recommendations over time. In this paper we introduce the \Fab" adaptive W...
Marko Balabanovic
VISUALIZATION
1996
IEEE
15 years 11 months ago
Choosing Effective Colours for Data Visualization
In this paper we describe a technique for choosing multiple colours for use during data visualization. Our goal is a systematic method for maximizing the total number of colours a...
Christopher G. Healey
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
EURODAC
1994
IEEE
129views VHDL» more  EURODAC 1994»
15 years 10 months ago
A general state graph transformation framework for asynchronous synthesis
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
Bill Lin, Chantal Ykman-Couvreur, Peter Vanbekberg...
KDD
1994
ACM
82views Data Mining» more  KDD 1994»
15 years 10 months ago
Architectural Support for Data Mining
Oneof the mainobstacles in applying data mining techniques to large, real-world databasesis the lack of efficient data management.In this paper, wepresent the design and implement...
Marcel Holsheimer, Martin L. Kersten
« Prev « First page 1250 / 1485 Last » Next »