Search results for "calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Bing Li, Junichi Iijima	A Hybrid Approach for Business Process Verification.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Business process verification, Situation calculus, XPDL
14	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
14	Shilun Ge, Nan Ren, Hong Miao	A Research on Data Modeling of Enterprises Based on Control System.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Data criterion, Data model, Control system, Enterprise information system (EIS), Situation calculus
14	Franck Binard, Amy P. Felty	An abstraction-based genetic programming system.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	genetic programming, polymorphism, types, lambda calculus
14	Masato Koda	A New Computing Method for Greeks Using Stochastic Sensitivity Analysis.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Malliavin calculus, Monte Carlo simulation, Greeks
14	Samuel Hym	Mobility Control Via Passports.	CONCUR	2007	DBLP DOI BibTeX RDF	control of agent migrations, distributed computation, process calculus, observational equivalence
14	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
14	Lishan Hou, Zhi Jin, Budan Wu	Modeling and verifying Web services driven by requirements: An ontology-based approach.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	environment ontology, Web service, formal verification, ? calculus, automatic composition
14	Ulrich Berger 0001, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg	Program Extraction from Normalization Proofs.	Stud Logica	2006	DBLP DOI BibTeX RDF	Normalization by evaluation, program extraction from proofs, realizability, typed lambda calculus
14	Agata Ciabattoni, Kazushige Terui	Towards a Semantic Characterization of Cut-Elimination.	Stud Logica	2006	DBLP DOI BibTeX RDF	nonclassical logicss, phase semantics, sequent calculus, cut-elimination, substructural logics
14	Matthias Baaz, Rosalie Iemhoff	Gentzen Calculi for the Existence Predicate.	Stud Logica	2006	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
14	Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Alfonso Urso	A Logical Architecture for Active Network Management.	J. Netw. Syst. Manag.	2006	DBLP DOI BibTeX RDF	Network ontology, Intelligent systems, Situation calculus, Programmable networks
14	Kamal Jain, Vijay V. Vazirani, Gideon Yuval	On the capacity of multiple unicast sessions in undirected graphs.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	entropy calculus, undirected capacity, cryptography, network coding, multicommodity flow, network capacity
14	Paul Blain Levy	Call-by-push-value: Decomposing call-by-value and call-by-name.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value
14	Carlos Simpson	Explaining Gabriel-Zisman Localization to the Computer.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	calculus of fractions, computer proof verification, localization, category, proof assistant, functor
14	Vasileios Koutavas, Mitchell Wand	Small bisimulations for reasoning about higher-order imperative programs.	POPL	2006	DBLP DOI BibTeX RDF	higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence
14	Colin Stirling	A Game-Theoretic Approach to Deciding Higher-Order Matching.	ICALP (2)	2006	DBLP DOI BibTeX RDF	higher-order matching, Games, typed lambda calculus
14	Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn	Programming with heterogeneous structures: manipulating XML data using bondi.	ACSC	2006	DBLP BibTeX RDF	heterogeneous data structure, pattern calculus, functional programming, XML processing
14	Jens B. Schmitt, Frank A. Zdarsky	The DISCO network calculator: a toolbox for worst case analysis.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	tool support, network calculus, deterministic guarantees
14	Giada Giorgi, Claudio Narduzzi	Analysis of traffic flow measurements by rate-interval curves.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	self-similarity, network calculus, traffic measurement
14	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
14	Su Feng	Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system
14	Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh	Interaction Protocols as Design Abstractions for Business Processes.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	interaction-based modeling, software design methodologies, Multiagent systems, software reuse, pi-calculus, rule-based processing
14	Luigi Alcuri, Giuseppe Barbera, Giuseppe D'Acquisto	Service Curve Estimation by Measurement: An Input Output Analysis of a Softswitch Model.	QoS-IP	2005	DBLP DOI BibTeX RDF	softswitch model, Network calculus, delay bounds, performance bounds, service curve
14	Matthias Baaz, Rosalie Iemhoff	On Interpolation in Existence Logics.	LPAR	2005	DBLP DOI BibTeX RDF	existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
14	Eijiro Sumii, Benjamin C. Pierce	A bisimulation for type abstraction and recursion.	POPL	2005	DBLP DOI BibTeX RDF	bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence
14	Olin Shivers	The anatomy of a loop: a story of scope and control.	ICFP	2005	DBLP DOI BibTeX RDF	compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures
14	Christian Urban, Michael Norrish	A formal treatment of the barendregt variable convention in rule inductions.	MERLIN	2005	DBLP DOI BibTeX RDF	POPLmark challenge, ?-calculus, nominal logic
14	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
14	Frank Zeyda, Bill Stoddart, Steve Dunne	A Prospective-Value Semantics for the GSL.	ZB	2005	DBLP DOI BibTeX RDF	bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution
14	Ernesto Wandeler, Lothar Thiele	Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus
14	Colin Stirling	Higher-Order Matching and Games.	CSL	2005	DBLP DOI BibTeX RDF	higher-order matching, games, typed lambda calculus
14	Robert Demolombe, Ana María Otermin Fernandez	Recognition of the intention to perform a procedure: a method based on probabilities.	AAMAS	2005	DBLP DOI BibTeX RDF	probability theory, situation calculus, intention recognition
14	Giovanna D'Agostino	Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.	TbiLLC	2005	DBLP DOI BibTeX RDF	Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus
14	Katsumi Inoue, Koji Iwanuma	Speculative Computation Through Consequence-Finding in Multi-Agent Environments.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	consequence-finding, SOL calculus, conditional answer, default logic, speculative computation
14	Lech Polkowski	Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	granular calculus, rough-fuzzy-neurocomputing, fuzzy set theory, rough set theory, rough mereology, rough inclusions, computing with words
14	Moreno Andreatta, D. T. Vuza, Carlos Agón	On some theoretical and computational aspects of Anatol Vieru's periodic sequences.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Algebraic formalization, Finite difference calculus on groups, Decomposition, Periodic sequences
14	Stefano Baratella, Andrea Masini	An approach to infinitary temporal proof theory.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
14	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
14	Nick Benton, Luca Cardelli, Cédric Fournet	Modern concurrency abstractions for C#.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	join calculus, polyphonic C?, synchronization, events, threads, messages, Asynchrony, chords
14	Khaled Mahbub, George Spanoudakis	A framework for requirents monitoring of service based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	event calculus, BPEL4WS, service-based systems, requirements monitoring
14	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
14	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	A semantics for web services authentication.	POPL	2004	DBLP DOI BibTeX RDF	web services, XML security, applied pi calculus
14	Denis Caromel, Ludovic Henrio, Bernard P. Serpette	Asynchronous and deterministic objects.	POPL	2004	DBLP DOI BibTeX RDF	object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
14	Olin Shivers, David Fisher	Multi-return function call.	ICFP	2004	DBLP DOI BibTeX RDF	compilers, programming languages, functional programming, continuations, lambda calculus, control structures, procedure call
14	Baohua Wang, Pinaki Mazumder	On optimality of adiabatic switching in MOS energy-recovery circuit.	ISLPED	2004	DBLP DOI BibTeX RDF	adiabatic circuit, power clock optimization, variational calculus
14	Baohua Wang, Pinaki Mazumder	On optimality of adiabatic switching in MOS energy-recovery circuit.	ISLPED	2004	DBLP DOI BibTeX RDF	adiabatic circuit, power clock optimization, variational calculus
14	Sébastien Carlier, J. B. Wells	Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.	PPDP	2004	DBLP DOI BibTeX RDF	expansion variables, type inference, lambda-calculus, intersection types
14	Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero	Introducing the Iteration in sPBC.	FORTE	2004	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
14	Alan Skelley	A Third-Order Bounded Arithmetic Theory for PSPACE.	CSL	2004	DBLP DOI BibTeX RDF	quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity
14	Christian Lang 0001, Bernd Steinbach	Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	bi-decomposition, differential calculus, multi-level circuit design, data mining, machine learning, logic synthesis, multiple-valued logic
14	Bernd Steinbach, Christian Lang 0001	Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition.	Artif. Intell. Rev.	2003	DBLP DOI BibTeX RDF	bi-decomposition, Boolean differential calculus, derivative operation, multi-level circuit, delay, Boolean function, lattice, area
14	Yossi Cohen, Yishai A. Feldman	Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Database program reengineering, the plan calculus, temporal abstraction, query graphs
14	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	ArcAngel: a Tactic Language for Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	ensp, Formal methods, Refinement calculus, Program development
14	Stephan Recker	Service Curve Based Routing Subject to Deterministic QoS Constraints.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	deterministic network calculus, cost model for service curves, optimal link resource allocation, restricted shortest path problem, local search heuristics, service curves
14	James F. Peters, Andrzej Skowron, Piotr Synak, Sheela Ramanna	Rough Sets and Information Granulation.	IFSA	2003	DBLP DOI BibTeX RDF	calculus of granules, rough sets, Approximation spaces, information granulation, rough mereology
14	Stephen Bique	Useful formulas for multidimensional arrays.	APL	2003	DBLP DOI BibTeX RDF	problem specification, program, calculus, formulas
14	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
14	Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio	Distributed Intelligent Management of Active Networks.	AI*IA	2003	DBLP DOI BibTeX RDF	Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus
14	Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes 0001	O3F: an object oriented ontology framework.	AAMAS	2003	DBLP DOI BibTeX RDF	FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus
14	Klaus Aehlig, Helmut Schwichtenberg	A syntactical analysis of non-size-increasing polynomial time computation.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Complexity, linear logic, lambda calculus
14	Jean-Yves Le Boudec	Some properties of variable length packet shapers.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	min-plus algebra, shaper, network calculus, leaky bucket
14	Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boudec, Patrick Thiran	A min, + system theory for constrained traffic regulation and dynamic service guarantees.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	(min, +) algebra, performance analysis, buffer overflow, packet losses, network calculus, traffic shaping
14	Graeme Smith 0001, Ian J. Hayes	An Introduction to Real-Time Object-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Real-time refinement, Timed refinement calculus, Object-Z, Real-time specification
14	Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic	A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering.	ECBS	2002	DBLP DOI BibTeX RDF	formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus
14	Li Tan, Rance Cleaveland	Evidence-Based Model Checking.	CAV	2002	DBLP DOI BibTeX RDF	diagnostic information, Model checking, temporal logic, mu-calculus
14	Abdesselam Redouane	Experience Using Formal Methods for Capturing Requirements of Web-Based Applications.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus
14	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
14	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
14	Aleksandar Nanevski	Meta-programming with names and necessity.	ICFP	2002	DBLP DOI BibTeX RDF	modal lambda-calculus, higher-order abstract syntax
14	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
14	Arnold Beckmann	Resolution Refutations and Propositional Proofs with Height-Restrictions.	CSL	2002	DBLP DOI BibTeX RDF	Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
14	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	Fine-Grained Multithreading with Process Calculi.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	multithreading, abstract-machine, Process-calculus
14	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan	Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.	APSEC	2001	DBLP DOI BibTeX RDF	Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
14	David Coeurjolly, Serge Miguet, Laure Tougne	Discrete Curvature Based on Osculating Circle Estimation.	IWVF	2001	DBLP DOI BibTeX RDF	Curvature Calculus, Discrete Circles, Discrete Geometry
14	Jean-Yves Le Boudec	Some properties of variable length packet shapers.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF	min-plus algebra, shaper, network calculus, leaky bucket
14	Jean Goubault-Larrecq	Well-Founded Recursive Relations.	CSL	2001	DBLP DOI BibTeX RDF	well-foundedness, path orderings, Knuth-Bendix orderings, higher-order path orderings, graphs, automata, Termination, calculus
14	Michael Benedikt, Leonid Libkin	Relational queries over interpreted structures.	J. ACM	2000	DBLP DOI BibTeX RDF	0-minimality, collapse results, constraints, quantifier elimination, relational calculus
14	Raymond T. Boute	Supertotal Function Definition in Mathematics and Software Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness
14	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
14	Jaroslav Pokorný	XML Functionally.	IDEAS	2000	DBLP DOI BibTeX RDF	XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages
14	Klaus Aehlig, Helmut Schwichtenberg	A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation.	LICS	2000	DBLP DOI BibTeX RDF	affine linear typing, polynomial time computation, lambda-calculus
14	Ron van der Meyden, Yoram Moses	On Refinement and Temporal Annotations.	FTRTFT	2000	DBLP DOI BibTeX RDF	temporal refinement calculi, temporal logic, Refinement calculus
14	John Power, Edmund Robinson	Logical Relations and Data Abstraction.	CSL	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, interpretations, lambda calculus, logical relations
14	Luís M. B. Lopes, Álvaro Reis Figueira, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.	CLUSTER	2000	DBLP DOI BibTeX RDF	Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility
14	Xiaoqun Du, Scott A. Smolka, Rance Cleaveland	Local Model Checking and Protocol Analysis.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion
14	Fangzhen Lin, Kewen Wang 0001	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
14	Daniele Mundici	Nonboolean partitions and their logic.	Soft Comput.	1998	DBLP DOI BibTeX RDF	Nonboolean partition, if-then-else, block-recognition, infinite-valued ?ukasiewicz calculus, many-valued logic, MV-algebras
14	Damian Weber, Thomas F. Denny	The Solution of McCurley's Discrete Log Challenge.	CRYPTO	1998	DBLP DOI BibTeX RDF	Index Calculus, Lanczos, Discrete Logarithms, Number Field Sieve
14	Jean-François Dufourd	Algebras and formal specifications in geometric modelling.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Extended ?-calculus, Formal specification, Geometric modeling, Parameterization, Constructive solid geometry, Boundary representation, Universal algebra
14	David Harel	Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.	RE	1997	DBLP DOI BibTeX RDF	reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research
14	Jürgen Schwille	Modeling product and process characteristics in software configuration management.	CSMR	1997	DBLP DOI BibTeX RDF	process characteristics, product characteristic modelling, Concert, project specific models, model restrictions, development history, software maintenance, process modeling, SCM, configuration management, software configuration management, software project, predicate calculus, entity relationship diagrams, change requests, seamless integration
14	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Theory and applications for a double-base number system.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation
14	Andreas Ermedahl, Hans Hansson, Mikael Sjödin	Response-time guarantees in ATM networks.	RTSS	1997	DBLP DOI BibTeX RDF	response time guarantees, traditional real time CPU Response Time Analysis, hard real time traffic, strict timing requirements, Calculus for Network Delays, traffic scenarios, observed worst case behaviors, CND, realistic traffic scenarios, asynchronous transfer mode, Asynchronous Transfer Mode, admission control, ATM networks, Weighted Fair Queuing, WFQ
14	Ewa Orlowska	Many-Valuedness and Uncertainty.	ISMVL	1997	DBLP DOI BibTeX RDF	modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic
14	Raul H. C. Lopes, Mark Tarver	Inducing Theorem Provers from Proofs.	ICTAI	1997	DBLP DOI BibTeX RDF	theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving
14	Mihhail Matskin, Enn Tyugu	Strategies of Structural Synthesis of Programs.	ASE	1997	DBLP DOI BibTeX RDF	structural program synthesis strategies, deductive program synthesis method, compositional programming, decidable logical calculus, PSPACE complexity, independent subtasks, iteration synthesis, regular data structures, heuristics, programming environments, structured programming, proof search, search efficiency
14	Norman Y. Foo, Pavlos Peppas, Yan Zhang 0003	Inductive Properties of States.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	induction, actions, states, automaton, situation calculus
14	Dang Van Hung, Ko Kwang Il	Verification via Digitized Models of Real-Time Hybrid Systems.	APSEC	1996	DBLP DOI BibTeX RDF	real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock
14	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study.	RTSS	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification