Sciweavers

7103 search results - page 329 / 1421
» Program Generation and Components
Sort
View
107
Voted
APLAS
2008
ACM
15 years 5 months ago
The Essence of Form Abstraction
nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
147
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
The Reaction Algebra: A Formal Language for Event Correlation
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
César Sánchez, Matteo Slanina, Henny...
144
Voted
IJCAI
1997
15 years 5 months ago
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
Rina Dechter
136
Voted
BMCBI
2006
199views more  BMCBI 2006»
15 years 3 months ago
PageMan: An interactive ontology tool to generate, display, and annotate overview graphs for profiling experiments
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
Björn Usadel, Axel Nagel, Dirk Steinhauser, Y...
342
Voted
SYNASC
2008
IEEE
300views Algorithms» more  SYNASC 2008»
15 years 10 months ago
A Theory of Adaptable Contract-Based Service Composition
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
Giovanni Bernardi, Michele Bugliesi, Damiano Maced...