Sciweavers

3555 search results - page 463 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
CIKM
2007
Springer
16 years 1 months ago
Ix-cubes: iceberg cubes for data warehousing and olap on xml data
With increasing amount of data being stored in XML format, OLAP queries over these data become important. OLAP queries have been well studied in the relational database systems. H...
Fianny Ming-fei Jiang, Jian Pei, Ada Wai-Chee Fu
ADVIS
2006
Springer
16 years 27 days ago
Contextual Ontologies
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
Djamal Benslimane, Ahmed Arara, Gilles Falquet, Za...
DIAGRAMS
2004
Springer
16 years 9 days ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
ICDCS
2003
IEEE
16 years 6 days ago
Dynamic Module Replacement in Distributed Protocols
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
ICPR
2010
IEEE
16 years 3 days ago
A Neurobiologically Motivated Stochastic Method for Analysis of Human Activities in Video
In this paper, we develop a neurobiologicallymotivated statistical method for video analysis that simultaneously searches the combined motion and form space in a concerted and efï...
Ricky Sethi, Amit Roy-Chowdhury