Sciweavers

1569 search results - page 224 / 314
» Towards the interactive office
Sort
View
BDA
2001
15 years 7 months ago
Query-Driven Knowledge Discovery via OLAP manipulations
We study KDD (Knowledge Discovery in Databases) processes on OLAP (multidimensional and multilevel) data from a query point of view. Focusing on association rule mining, we consid...
Jean-François Boulicaut, Patrick Marcel, Ch...
ISTA
2004
15 years 7 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
VIIP
2001
15 years 7 months ago
Visual Behavior Characterization for Intrusion Detection in Large Scale Systems
This work focuses on the visual representation of relations towards aiding the exploration and analysis of network intrusions. Fundamentally, the visual representations aid an ana...
Robert F. Erbacher
CADE
2010
Springer
15 years 7 months ago
Analytic Tableaux for Higher-Order Logic with Choice
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
Julian Backes, Chad E. Brown
CONCURRENCY
2008
123views more  CONCURRENCY 2008»
15 years 6 months ago
Payment and negotiation for the next generation Grid and Web
We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate thr...
Jeremy Cohen, John Darlington, William Lee