Sciweavers

2050 search results - page 140 / 410
» A formal foundation for process modeling
Sort
View
WWW
2008
ACM
15 years 6 months ago
Divide, Compress and Conquer: Querying XML via Partitioned Path-Based Compressed Data Blocks
We propose a novel Partition Path-Based (PPB) grouping strategy to store compressed XML data in a stream of blocks. In addition, we employ a minimal indexing scheme called Block S...
Wilfred Ng, Ho Lam Lau, Aoying Zhou
MASCOTS
2003
15 years 7 months ago
DEVS Today: Recent Advances in Discrete Event-Based Information Technology
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
Bernard P. Zeigler
VLC
2011
83views more  VLC 2011»
15 years 1 months ago
A decision procedure for a decidable fragment of generalized constraint diagrams
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
Jim Burton, Gem Stapleton, Ali Hamie
UM
2005
Springer
15 years 12 months ago
An Economic Model of User Rating in an Online Recommender System
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
F. Maxwell Harper, Sherry Xin Li, Yan Chen, Joseph...
ICA
2010
Springer
15 years 6 months ago
SMALLbox - An Evaluation Framework for Sparse Representations and Dictionary Learning Algorithms
SMALLbox is a new foundational framework for processing signals, using adaptive sparse structured representations. The main aim of SMALLbox is to become a test ground for explorati...
Ivan Damnjanovic, Matthew E. P. Davies, Mark D. Pl...