Sciweavers

2018 search results - page 371 / 404
» On Conceptualization as a Systematic Process
Sort
View
APN
2001
Springer
14 years 9 days ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
VLDB
2001
ACM
66views Database» more  VLDB 2001»
14 years 7 days ago
An Evaluation of Generic Bulk Loading Techniques
Bulk loading refers to the process of creating an index from scratch for a given data set. This problem is well understood for B-trees, but so far, non-traditional index structure...
Jochen Van den Bercken, Bernhard Seeger
SIGIR
2000
ACM
14 years 5 days ago
The impact of database selection on distributed searching
The proliferation of online information resources increases the importance of effective and efficient distributed searching. Distributed searching is cast in three parts – datab...
Allison L. Powell, James C. French, James P. Calla...
MM
1998
ACM
150views Multimedia» more  MM 1998»
14 years 1 days ago
Zodiac: A History-Based Interactive Video Authoring System
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...
Tzi-cker Chiueh, Tulika Mitra, Anindya Neogi, Chua...
CHI
1997
ACM
14 years 4 hour ago
MOBI-D: A Model-Based Development Environment for User-Centered Design
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
Angel R. Puerta, David Maulsby