Martín Abadi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rules

Are Your Rules Online? Four Web Rule EssentialsHarold Boley. ruleml 2007: 7-24 [doi]

Quantifying the effects of IT-governance rulesChris Verhoef. SCP, 67(2-3):247-277, 2007. [doi]

Hiding informative association rule setsShyue-Liang Wang, Bhavesh Parikh, Ayat Jafari. eswa, 33(2):316-323, 2007. [doi]

An innovative algorithm for mining multilevel association rulesH. Ravi Sankar, M. M. Naidu. aia 2007: 336-341

The interpretation of feedforward neural networks for secondary structure prediction using sugeno fuzzy rulesAdelmo Luis Cechin, Eduardo Battistella. ijhis, 4(1):3-16, 2007. [doi]

The RuleML Family of Web Rule LanguagesHarold Boley. ppswr 2006: 1-17 [doi]

Nagel-Schreckenberg Model of Traffic - Study of Diversity of Car RulesDanuta Makowiec, Wieslaw Miklaszewski. iccS 2006: 256-263 [doi]

A Heuristic for Winner Determination in Rule-Based Combinatorial AuctionsJoni L. Jones, Gary J. Koehler. informs, 17(4):475-489, 2005. [doi]

W3C Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, USAW3C, 2005.

An Integrated Rule-based and Case-based Reasoning System for Customer Service ManagementLiping An, Jianyuan Yan, Lingyun Tong. icebe 2005: 266-273 [doi]

Self-Tuning of the Relationships among Rules Components in Active Databases SystemsDavid Botzer, Opher Etzion. tkde, 16(3):375-379, 2004. [doi]

Categorization of Genomics Text Based on Decision RulesRocio Guillén. trec 2004: [doi]

Domain-Specific Optimisation with User-Defined Rules in CodeBoostOtto Skrove Bagge, Magne Haveraaen. ENTCS, 86(2):119-133, 2003. [doi]

Five- and six-dimensional lattice rules generated by structured matricesRonald Cools, Hilde Govaert. jc, 19(6):715-729, 2003. [doi]

A family of dominance rules for multiattribute decision making under uncertaintyN. S. Iyer. tsmc, 33(4):441-450, 2003.

A rule-based system for automatic assignment of technicians to service faultsAvinoam Lazarov, Peretz Shoval. dss, 32(4):343-360, 2002. [doi]

What s Interesting About Cricket? - On Thresholds and Anticipation in Discovered RulesJohn F. Roddick, Sally Rice. sigkdd, 3(1):1-5, 2001. [doi]

Automatic rule generation for protein annotation with the C4.5 data mining algorithm applied on SWISS-PROTErnst Kretschmann, Wolfgang Fleischmann, Rolf Apweiler. bioinformatics, 17(10):920-926, 2001.

Establishing Rules and Conventions for the Infrastructure: The Tragedy of the Unmanaged Commons as a Determinate FactorRob Reilly, Barry Kort. wetice 2001: 315-318 [doi]

Verification of Year 2000 conversion rules using the ACL2 theorem proverMatt Kaufmann. STTT, 3(1):13-19, 2000. [doi]

Trust Rules for Trust Dilemmas: How Decision Makers Think and Act in the Shadow of DoubtRoderick M. Kramer. agents 2001: 9-26 [doi]

Do We Really Need to Estimate Rule Utilities in Classifier Systems?Lashon B. Booker. iwcls 2000: 125-142 [doi]

Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem proverJosé-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos. agp 1999: 289-304

Rules evaluation of a knowledge baseSebastian García Galán, Juan R. Velasco Pérez. eusflat 1999: 195-198 [doi]

Multivariate Constrained Portfolio Rules: Derivation of Monge-Ampère EquationsSrdjan Stojanovic. ifip7-2 1999: 283-290

A Proof Rule for Control LoopsBurghard von Karger. mpc 1998: 7-22 [doi]

An Introduction to the TriggerMan Asynchronous Trigger ProcessorEric N. Hanson, Samir Khosla. rules 1997: 51-66

Different Quality Indexes for Lattice RulesRonald Cools, Andrew V. Reztsov. jc, 13(2):235-258, 1997. [doi]

Gleaning Fact From Fiction: Capacity Planning According to The Klingon Warrior Code And The Ferengi Rules Of AcquisitionJerry L. Rosenberg. cmg 1997: 337-344

A Theory of ObjectsMartín Abadi, Luca Cardelli. Monographs in Computer Science, Springer, April 1996.

A System for Analyzing Cataloging Rules: A Feasibility StudyShoichi Taniguchi. jasis, 47(5):338-356, 1996.

AI rules: okay?Rom Harre. jetai, 8(2):109-120, 1996.

Strategies for Parallel Linear Recursive Query ProcessingThomas Zurek, Peter Thanisch. rules 1995: 213-229

Recovering Active DatabasesOlaf Zukunft. rules 1995: 357-371

Activity Specification Using RandezvousChawki Tawbi, Ghaleb Jaber, Marc Dalmau. rules 1995: 51-68

Reactive Behaviour Support: Themes and VariationsRay Fernández, Oscar Díaz. rules 1995: 69-85

Active Databases and Agent Systems - A ComparisonJames Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao. rules 1995: 342-356

A q-Rational Murnaghan-Nakayama RuleTom Halverson. JCT, 71(1):1-18, 1995.

The Tyft/Tyxt Format Reduces to Tree RulesWan Fokkink. tacs 1994: 440-453

Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?Jennifer Widom. rules 1993: 306-315

A Framework for Supporting Triggers in Deductive DatabasesPetra Bayer, Willem Jonker. rules 1993: 316-330

Dimensions of Active BehaviourNorman W. Paton, Oscar Díaz, M. Howard Williams, Jack Campin, Andrew Dinn, Arturo Jaime. rules 1993: 40-57

Bottom-Up Evaluation of DataHiLogPeter T. Wood. rules 1993: 401-415

Improved Error Bounds for Lattice RulesHarald Niederreiter. jc, 9(1):60-75, 1993. [doi]

The Problem of Choosing the Representation, Inference Rule, and StrategyLarry Wos. JAR, 7(4):631-634, 1991.

Rule-based multitemplate edge detectorD. Brzakovic, R. Patton, R. L. Wang. cvgip, 53(3):258-268, 1991. [doi]

Formal Model of Uncertainty for Possibilistic RulesArthur Ramer. uai 1991: 295-299 [doi]

The Problem of Finding a Semantic Strategy for Focusing Inference RulesLarry Wos. JAR, 6(3):337-339, 1990.

An Exponential Lower Bound for the Pure Literal RuleKhaled M. Bugrara, Paul Walton Purdom Jr.. ipl, 27(4):215-219, 1988.

A Note on Decision Rules for Stochastic ProgramsRoger J.-B. Wets, David W. Walkup. jcss, 2(3):305-311, 1968.

runs on WebDSL