A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Semantic abstraction rules for class diagrams
2000
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
To deal with the complexities of large-scale software models, this paper presents rules and methods for automated abstraction. ...
Our technique has also proven to be well suited for consistency checking and reverse engineering. ...
Acknowledgements We wish to acknowledge Barry Boehm, Philippe Kruchten, and Nenad Medvidovic for helpful insights and discussions. ...
doi:10.1109/ase.2000.873683
dblp:conf/kbse/Egyed00
fatcat:6y2ao73senhzbjvljjakc7jvvu
Abstract interpretation for constraint handling rules
2005
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05
Program analysis is essential for the optimized compilation of Constraint Handling Rules (CHRs) as well as the inference of behavioral properties such as confluence and termination. ...
Up to now all program analyses for CHRs have been developed in an ad hoc fashion. ...
Acknowledgments We would like to thank María García de la Banda and Bart Demoen for their help and useful contributions to this paper. ...
doi:10.1145/1069774.1069795
dblp:conf/ppdp/SchrijversSD05
fatcat:pjqrcvgchrayxhp7knfadszn5q
Ground Rules for San Andres Exploration: ABSTRACT
1967
American Association of Petroleum Geologists Bulletin
This paper reviews several of the guide lines or rules which should assist in finding and evaluating San Andres traps. ...
With certification comes .i certificate suitable for framing and the cligibilih lu lease an embossing seal or stamp. For details regarding: the lequirements and procedures of .'\.' ...
doi:10.1306/5d25b7c1-16c1-11d7-8645000102c1865d
fatcat:yuav2wwzv5euxerzdo5hdpigrm
Stratified Rule-Aware Network for Abstract Visual Reasoning
[article]
2020
arXiv
pre-print
To address this problem, in this paper we propose a Stratified Rule-Aware Network (SRAN) to generate the rule embeddings for two input sequences. ...
We further point out the severe defects existing in the popular RAVEN dataset for RPM test, which prevent from the fair evaluation of the abstract reasoning ability. ...
Conclusion In this paper, we introduced necessary inductive biases for abstract visual reasoning task, such as order sensitivity and incremental rule induction. ...
arXiv:2002.06838v2
fatcat:lgpialp2zbgejn3k6szns5twvi
Impossibility Results for Infinite-Electorate Abstract Aggregation Rules
2011
Journal of Philosophical Logic
results for the case of an infinite number of individuals and an aggregation rule based on a free ultrafilter of decisive coalitions. ...
Following Lauwers and Van Liedekerke (1995) , this paper explores in a model-theoretic framework the relation between Arrovian aggregation rules and ultraproducts, in order to investigate a source of impossibility ...
Thus, an abstract aggregation rule can be defined by a mapping f : Ω I → Ω where Ω is a set of possible characteristics and I a set of indivuals. ...
doi:10.1007/s10992-011-9203-5
fatcat:2wzg4tpxsvduhcicnu52xm3k7y
Conjoining Gestalt rules for abstraction of architectural drawings
2011
Proceedings of the 2011 SIGGRAPH Asia Conference on - SA '11
We present a method for structural summarization and abstraction of complex spatial arrangements found in architectural drawings. ...
Although defining a computational model for each rule alone has been extensively studied, modeling a conjoint of Gestalt rules remains a challenge. ...
Conjoining Gestalt Rules for Abstraction of Architectural Drawings • 185:5 Figure 10 : A sequence of abstraction steps. ...
doi:10.1145/2024156.2024219
fatcat:7ra4rvm53bbjtchudpvuie2aie
Conjoining Gestalt rules for abstraction of architectural drawings
2011
ACM Transactions on Graphics
We present a method for structural summarization and abstraction of complex spatial arrangements found in architectural drawings. ...
Although defining a computational model for each rule alone has been extensively studied, modeling a conjoint of Gestalt rules remains a challenge. ...
Conjoining Gestalt Rules for Abstraction of Architectural Drawings • 185:5 Figure 10 : A sequence of abstraction steps. ...
doi:10.1145/2070781.2024219
fatcat:2czddt3vxnestjxp4d2uk36som
Conjoining Gestalt rules for abstraction of architectural drawings
2011
Proceedings of the 2011 SIGGRAPH Asia Conference on - SA '11
We present a method for structural summarization and abstraction of complex spatial arrangements found in architectural drawings. ...
Although defining a computational model for each rule alone has been extensively studied, modeling a conjoint of Gestalt rules remains a challenge. ...
Conjoining Gestalt Rules for Abstraction of Architectural Drawings • 185:5 Figure 10 : A sequence of abstraction steps. ...
doi:10.1145/2070752.2024219
fatcat:clmmlwfvdjdxzdm2rlmz3tfz54
Abstract composition rule for relativistic kinetic energy in the thermodynamical limit
2008
Europhysics letters
We prove that the infinite repetition of an arbitrary composition rule on an infinitesimal amount leads to a rule with a formal logarithm. ...
This result includes for U ′ = 0 the traditional momentum independent interaction case leading to the addition as asymptotic rule for non-relativistic kinetic energies, and hence to the Boltzmann-Gibbs ...
of formal logarithms and abstract composition rules. ...
doi:10.1209/0295-5075/84/56003
fatcat:vmxwhxfzvbd65f2m73233w2nvy
A Syntactic Abstraction for Rule-Based Languages with Binding
2011
Electronical Notes in Theoretical Computer Science
This paper introduces a syntactic abstraction of binding, away from specific sites, which in many cases results in shorter and more concise rules. ...
Rule-based languages such as Kappa and BioNetGen excel in their support for handling combinatorial explosion of the number of protein complexes encoded by a signal transduction model. ...
Table 2 The abstract syntax of AL. The abstract syntax of AL is given in Table 2 . An AL program p has a set of rules like Kappa programs, but it also has a site renaming φ. ...
doi:10.1016/j.entcs.2011.09.035
fatcat:u74jgs7wk5hntmj6bev7eprdze
SOS rule formats for convex and abstract probabilistic bisimulations
2015
Electronic Proceedings in Theoretical Computer Science
behavior and guarantee that bisimilarity is a congruence for all operator defined in such format. ...
bisimulation on the usual stripped probabilistic transition system (translated into a labelled transition system), which we call here "probability obliterated bisimulation"; and (iii) a "probability abstracted ...
A PTSS P = Σ, A, R is in probability abstracted ntµfθ/ntµxθ format if it is in ntµfθ/ntµxθ format and for every rule r ∈ R and quantitative premise θ(Y) p ∈ qprem(r), p = 0. ...
doi:10.4204/eptcs.190.3
fatcat:l4kyh73y3ratfmqthexw7kvj6m
Exponential lower bounds for history-based simplex pivot rules on abstract cubes
[article]
2017
arXiv
pre-print
We give exponential lower bounds on Acyclic Unique Sink Orientations (AUSO) of the abstract cube, for all of these pivot rules. ...
For Johnson's rule our bound is the first superpolynomial one in any context; for Zadeh's it is the first one for AUSO. Those two are our main results. ...
However, the abstract setting allows for simpler proofs that are
easy to communicate. ...
arXiv:1706.09380v1
fatcat:zbywu54365arphdrk7acyismoa
A new MDL measure for robust rule induction (Extended abstract)
[chapter]
1995
Lecture Notes in Computer Science
The generalized measure is appficable to (propositional) rule sets directly. Furthermore the new measure also does not suffer from problems reported for various MDL measures in the ML literature. ...
We present a generalization of a particular Minimum Description Length (MDL) measure that so far has been used for pruning decision trees only. ...
The complexity of a single rule is accounted for by rci. This is an estimate of the coding cost for the body of the rule. ...
doi:10.1007/3-540-59286-5_80
fatcat:lwjvir5terczxciuvxqtqsfb34
A rewrite rule based approach for synthesizing abstract data types
[chapter]
1985
Lecture Notes in Computer Science
The proposed system consists of a collection of inference rules -instantiation, simplification, expansion and hypothesis tesing, and two strategies for searching for theorems depending upon whether the ...
The proof based approach used for the synthesis consists of reversing the process of proving theorems (i.e. searching for appropriate theorems rather than proving the given ones). ...
The rewrite rules (HI) through (H2) of t]he example in section 2 specify the abstraction function for an implementation of multiset. ...
doi:10.1007/3-540-15198-2_12
fatcat:g567653hcvcsvhtplubgqwkoly
CONSORT, QUOROM, and structured abstracts - new rules for authors, new tools for readers
2001
European Journal of Anaesthesiology
The Editors of the European Journal of Anaesthesiology hope that these new rules for authors European Journal of Anaesthesiology 2001, 18, 1±2 # 2001 European Academy of Anaesthesiology will become appreciated ...
As with the CONSORT statement, there is a checklist, which includes, for instance, the recommendation to use structured abstracts, to describe in detail the literature search, and to provide a diagram ...
doi:10.1046/j.0265-0215.2000.00803.x
pmid:11270003
fatcat:x5prbnslprcl3kw2lsmf6rof4y
« Previous
Showing results 1 — 15 out of 1,320,082 results