Filters








1,320,082 Hits in 3.0 sec

Semantic abstraction rules for class diagrams

A. Egyed
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

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
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

Patrick J. F. Gratton, William J. L
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]

Sheng Hu, Yuqing Ma, Xianglong Liu, Yanlu Wei, Shihao Bai
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

Frederik Herzberg, Daniel Eckert
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

Liangliang Nan, Andrei Sharf, Ke Xie, Tien-Tsin Wong, Oliver Deussen, Daniel Cohen-Or, Baoquan Chen
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

Liangliang Nan, Andrei Sharf, Ke Xie, Tien-Tsin Wong, Oliver Deussen, Daniel Cohen-Or, Baoquan Chen
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

Liangliang Nan, Andrei Sharf, Ke Xie, Tien-Tsin Wong, Oliver Deussen, Daniel Cohen-Or, Baoquan Chen
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

T. S. Bíró
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

Michael Pedersen
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

Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
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]

Antonis Thomas
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]

Bernhard Pfahringer
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]

Deepak Kapur, Mandayam Srivas
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

Martin R. Tramer
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