Sciweavers

3778 search results - page 248 / 756
» Erdos-Ko-Rado for three sets
Sort
View
149
Voted
ICPP
1996
IEEE
15 years 10 months ago
Mechanisms for Mapping High-Level Parallel Performance Data
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...
R. Bruce Irvin, Barton P. Miller
ICLP
1997
Springer
15 years 10 months ago
Hybrid Probabilistic Programs
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
Alex Dekhtyar, V. S. Subrahmanian
SC
1992
ACM
15 years 10 months ago
Parallel Program Performance Metrics: A Comparison and Validation
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
Jeffrey K. Hollingsworth, Barton P. Miller
ICCV
2007
IEEE
15 years 9 months ago
USSR: A Unified Framework for Simultaneous Smoothing, Segmentation, and Registration of Multiple Images
Image smoothing, segmentation and registration are three key processing steps in many computer vision applications. In this paper, we present a novel framework for achieving all t...
Nicholas A. Lord, Jeffrey Ho, Baba C. Vemuri
155
Voted
CCIA
2006
Springer
15 years 9 months ago
Extending the BDI architecture with commitments
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
Dorian Gaertner, Pablo Noriega, Carles Sierra