Sciweavers

1361 search results - page 132 / 273
» Spaces of practice
Sort
View
122
Voted
ICDAR
1995
IEEE
15 years 7 months ago
Representation and classification of complex-shaped printed regions using white tiles
There is an increasingly pressing need to develop document analysis methods that are able to cope with images of documents containing printed regions of complex shapes. Contrary t...
Apostolos Antonacopoulos, R. T. Ritchings
120
Voted
BPM
2008
Springer
142views Business» more  BPM 2008»
15 years 5 months ago
Dimensions of Business Processes Quality (QoBP)
Conceptual modeling is an important tool for understanding and revealing weaknesses of business processes. Yet, the current practice in reengineering projects often considers simpl...
Mitra Heravizadeh, Jan Mendling, Michael Rosemann
140
Voted
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 5 months ago
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakris...
ALENEX
2007
127views Algorithms» more  ALENEX 2007»
15 years 5 months ago
Intersection in Integer Inverted Indices
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...
Peter Sanders, Frederik Transier
144
Voted
UAI
2008
15 years 5 months ago
Projected Subgradient Methods for Learning Sparse Gaussians
Gaussian Markov random fields (GMRFs) are useful in a broad range of applications. In this paper we tackle the problem of learning a sparse GMRF in a high-dimensional space. Our a...
John Duchi, Stephen Gould, Daphne Koller