Search results for "mechanisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	William G. J. Halfond, Alessandro Orso, Pete Manolios	WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Security and Protection, Protection mechanisms
11	Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, Martin Gogolla	Analyzing and Managing Role-Based Access Control Policies.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Access controls, Protection mechanisms
11	Alfred Bashllari, Dritan Nace, Éric Gourdin, Olivier Klopfenstein	Max-min fair survivable networks.	Ann. des Télécommunications	2008	DBLP DOI BibTeX RDF	Routing, Linear programming, Max-min fairness, Path generation, Survivable networks, Recovery mechanisms
11	Delin Hou, Huosong Xia	Application of Streaming Media Technology in Electronic Commerce.	ISECS	2008	DBLP DOI BibTeX RDF	Streaming media technology, Application Mechanisms, Electronic Commerce
11	Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera	Elements for a modular dynamic geometry system.	SAC	2008	DBLP DOI BibTeX RDF	dynamic mechanisms, geometric constraint solving, dynamic geometry
11	E. Ilana Diamant, Susan R. Fussell, Fen-Ly Lo	Where did we turn wrong?: unpacking the effect of culture and technology on attributions of team performance.	CSCW	2008	DBLP DOI BibTeX RDF	attribution processes, empirical studies, cscw, distributed work, coordination mechanisms, cross-cultural communication, intellectual teamwork
11	Rodrigo Godoi, Xiaoyuan Yang 0001, Porfidio Hernández	Analytical Evaluation of Clients' Failures in a LVoD Architecture Based on P2P and Multicast Paradigms.	Euro-Par	2008	DBLP DOI BibTeX RDF	LVoD systems, Control mechanisms, Peer-to-Peer, Multicast
11	Balaji Raghavan, Jarmo Harju, Bilhanan Silverajan	Service Discovery Framework for MANETs Using Cross-Layered Design.	WWIC	2008	DBLP DOI BibTeX RDF	broadcast mechanisms, Ad hoc networks, framework, service discovery, cross-layered design, link layer
11	Fasheng Qiu, Xiaolin Hu	BehaviorSim: A Learning Environment for Behavior-Based Agent.	SAB	2008	DBLP DOI BibTeX RDF	BehaviorSim, behavior network, action selection mechanisms, Learning environment, behavior-based control
11	Ruby Krishnaswamy, Leandro Navarro 0001, René Brunner, Xavier León, Xavier Vilajosana	Grid4All: Open Market Places for Democratic Grids.	GECON	2008	DBLP DOI BibTeX RDF	Economic-aware Grid Application, Markets and Market Mechanisms for the Grid, Democratic Grid, Large-scale Grid Market, Virtual Organizations
11	Jörn Altmann, Costas Courcoubetis, George D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink	GridEcon: A Market Place for Computing Resources.	GECON	2008	DBLP DOI BibTeX RDF	Commercial Grids, Grid Market Place, Grid Computing, Business Models, Utility Computing, Grid Economics, Market Mechanisms
11	Alexandre Pereira Meire, Marcos R. S. Borges, Renata Mendes de Araujo	Supporting multiple viewpoints in collaborative graphical editing.	Multim. Tools Appl.	2007	DBLP DOI BibTeX RDF	Awareness mechanisms, Viewpoint support, Mask metaphor, Collaborative editors
11	Nawei Chen, Dorothea Blostein	A survey of document image classification: problem statement, classifier architecture and performance evaluation.	Int. J. Document Anal. Recognit.	2007	DBLP DOI BibTeX RDF	Document image classification, Document classifiers, Document features, Learning mechanisms, Performance evaluation, Document classification, Feature representations, Document categorization, Classification algorithms, Class models
11	José María García, David Ruiz 0001, Antonio Ruiz Cortés, Octavio Martín-Díaz, Manuel Resinas	An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming.	ICSOC	2007	DBLP DOI BibTeX RDF	Discovery Mechanisms, Quality-of-Service, Constraint Programming, Semantic Matching
11	Sebastian Salvucci, Mariano Cilia, Alejandro P. Buchmann	A practical approach for enabling online analysis of event streams.	DEBS	2007	DBLP DOI BibTeX RDF	notification mechanisms, data streams, event-driven architectures, online analysis
11	Naïma El-Kechaï, Christophe Després	Proposing the Underlying Causes That Lead to the Trainee's Erroneous Actions to the Trainer.	EC-TEL	2007	DBLP DOI BibTeX RDF	Causal mechanisms of erroneous actions, Safety and emergency procedures, Trainer assistance, CREAM, Dempster-Shafer’s Theory
11	Hongtao Liu, Yun Bai 0006, Yuhui Qiu	An Incentive Mechanism for Peer-to-Peer File Sharing.	ICFIE	2007	DBLP DOI BibTeX RDF	P2P, Utility function, Incentive mechanisms, Storage space
11	Wendy Moncur, Grégory Leplâtre	Pictures at the ATM: exploring the usability of multiple graphical passwords.	CHI	2007	DBLP DOI BibTeX RDF	authentication mechanisms, ATMs, usable security, user authentication, graphical passwords
11	Steve R. DiPaola, Liane Gabora	Incorporating characteristics of human creativity into an evolutionary art algorithm.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	creative evolutionary systems, mechanisms of creativity, genetic programming, cognitive science, evolutionary art
11	Arjun Talwar, Radu Jurca, Boi Faltings	Understanding user behavior in online feedback reporting.	EC	2007	DBLP DOI BibTeX RDF	online reviews, repution mechanisms
11	Eric Gamess, Neudith Morales	Implementing IPv6 at Central University of Venezuela.	LANC	2007	DBLP DOI BibTeX RDF	6to4 tunnel, UDP throughput, dual-stack, transmission mechanisms, performance, benchmarks, IPv6, NAT, IPv4, TCP throughput
11	Luca Sterpone, Massimo Violante	A new decompression system for the configuration process of SRAM-based FPGAS.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	configuration mechanisms, compression algorithm, SRAM-based FPGA
11	Carl F. Craver	When mechanistic models explain.	Synth.	2006	DBLP DOI BibTeX RDF	Hodgkin, Huxley, Models, Explanation, Action, Mechanisms, Functional Analysis, Potential, Electrophysiology
11	Ran Cheng, Julita Vassileva	Design and evaluation of an adaptive incentive mechanism for sustained educational online communities.	User Model. User Adapt. Interact.	2006	DBLP DOI BibTeX RDF	Personalized rewards, Online communities, Virtual communities, Participation, Incentive mechanisms, Ratings
11	Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, Maria Tortorella	Hiding complexity and heterogeneity of the physical world in smart living environments.	SAC	2006	DBLP DOI BibTeX RDF	devices virtualization, entity description graph, physical concepts, virtual world, coordination mechanisms
11	Jake J. Abbott, Allison M. Okamura	Pseudo-admittance Bilateral Telemanipulation with Guidance Virtual Fixtures.	HAPTICS	2006	DBLP DOI BibTeX RDF	virtual fixtures, virtual mechanisms, admittance control, rate control, teleoperation, force control, telemanipulation
11	Jian Chen, Xilong Chen, Robert J. Kauffman, Xiping Song	Cooperation in Group-Buying Auctions.	HICSS	2006	DBLP DOI BibTeX RDF	Bidding ring, group-buying auctions, cooperation, information sharing, bidding strategies, e-markets, market mechanisms, group decisions
11	Paul W. Schermerhorn, Matthias Scheutz	Social coordination without communication in multi-agent territory exploration tasks.	AAMAS	2006	DBLP DOI BibTeX RDF	collective and emergent agent behavior, social choice mechanisms, cooperation and coordination among agents
11	Christos Bouras, Apostolos Gkamas, Anastasios Karaliotas, Kostas Stamos	Architecture and Performance Evaluation for Redundant Multicast Transmission Supporting Adaptive QoS.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	IP based networks and services, multimedia systems and services, adaptation mechanisms, Quality of Service, multicast, CORBA
11	Brian D. Snow	Four Ways to Improve Security.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	software quality-control, hardware assist, separation mechanisms, cryptographic primitives
11	Andy Ju An Wang	Information security models and metrics.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	policy and mechanisms, modeling, verification, measurement, validation, information security
11	Robert J. Sandusky, Les Gasser	Negotiation and the coordination of information and activity in distributed software problem management.	GROUP	2005	DBLP DOI BibTeX RDF	distributed collective practices, software problem management, negotiation, coordination mechanisms, coordination theory
11	Abdelnasser Abdelaal, Hesham H. Ali	A New QoS Renegotiation Mechanism for Multimedia Applications.	HICSS	2005	DBLP DOI BibTeX RDF	Quality of service (QoS) renegotiation, adaptive multimedia, load control schemes and service pricing, feedback mechanisms
11	Guido Proietti, Peter Widmayer	A truthful mechanism for the non-utilitarian minimum radius spanning tree problem.	SPAA	2005	DBLP DOI BibTeX RDF	pricing and equilibria in networks, algorithmic mechanism design, selfish agents, truthful mechanisms
11	Mary Anne Patton, Audun Jøsang	Technologies for Trust in Electronic Commerce.	Electron. Commer. Res.	2004	DBLP DOI BibTeX RDF	payment intermediaries, trustmark seals, mathematical trust models, alternative dispute resolution mechanisms, security, privacy, cryptography, trust, e-commerce, embodied conversational agents, reputation systems, digital certificates
11	Trent Jaeger, Antony Edwards, Xiaolan Zhang 0001	Consistency analysis of authorization hook placement in the Linux security modules framework.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, access control models
11	Célio Albuquerque 0001, Brett J. Vickers, Tatsuya Suda	Network border patrol: preventing congestion collapse and promoting fairness in the internet.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	border control, congestion collapse, core-stateless mechanisms, end-to-end argument, internet, congestion control, max-min fairness
11	Bryan Parno, Mema Roussopoulos	Defending a P2P Digital Preservation System.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	backup/recovery, libraries/information repositories/publishing, peer-to-peer digital preservation, Distributed applications, model development, protection mechanisms
11	Leslie D. Setlock, Susan R. Fussell, Christine Neuwirth	Taking it out of context: collaborating within and across cultures in face-to-face settings and via instant messaging.	CSCW	2004	DBLP DOI BibTeX RDF	CSCW, empirical studies, collaborative writing, distributed work, coordination mechanisms, cross-cultural communication, intellectual teamwork
11	Garett O. Dworman, Stephanie Rosenbaum	Helping users to use help: improving interaction with help systems.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	help delivery mechanisms, interaction design, help systems, information usability
11	Susan R. Fussell, Sara B. Kiesler, Leslie D. Setlock, Peter Scupelli	Effects of instant messaging on the management of multiple project trajectories.	CHI	2004	DBLP DOI BibTeX RDF	CSCW, empirical studies, collaborative writing, distributed work, coordination mechanisms, intellectual teamwork
11	Salvador Mir, Libor Rufer, Bernard Courtois	On-chip testing of embedded transducers.	VLSI Design	2004	DBLP DOI BibTeX RDF	failure mechanisms, A-HDL, fault modeling, fault simulation, defects, MEMS, self-test
11	Xin-Jun Liu, Jinsong Wang, Feng Gao	Workspace Atlases for the Design of Spherical 3-DOF Serial Wrists.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	spherical mechanisms, workspace, atlas, wrists
11	Trent Jaeger, Xiaolan Zhang 0001, Antony Edwards	Policy management using access control spaces.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models
11	Ching-Chih Han, Kang G. Shin, Jian Wu 0028	A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	deadline mechanisms, notification time, primary, backwards-RM algorithm, CAT algorithm, EIT algorithm, Real-time systems, alternate
11	Rajiv T. Maheswaran, Tamer Basar	Coalition formation in proportionally fair divisible auctions.	AAMAS	2003	DBLP DOI BibTeX RDF	divisible auctions, e-commerce, game theory, resource allocation, multiagent systems, software agents, coalition formation, market mechanisms
11	Deependra Talla, Lizy Kurian John	MediaBreeze: a decoupled architecture for accelerating multimedia applications.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF	access and execute mechanisms, multimedia, prefetching, SIMD, hardware accelerators, decoupling, microprocessor design, general-purpose processors
11	Trent Jaeger, Jonathon Tidswell	Practical safety in flexible access control models.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models
11	Benoît Charlot, Salvador Mir, Fabien Parrain, Bernard Courtois	Generation of Electrically Induced Stimuli for MEMS Self-Test.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	MEMS test case-studies, MEMS failure mechanisms, BIST, self-test
11	Hiroshi Hosobe	A modular geometric constraint solver for user interface applications.	UIST	2001	DBLP DOI BibTeX RDF	module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
11	Bruce J. McKenzie, Andy Cockburn	An Empirical Analysis of Web Page Revisitation.	HICSS	2001	DBLP DOI BibTeX RDF	History mechanisms, Web use, Bookmarks, Revisitation, Log files
11	Robert J. Kauffman, Bin Wang 0001	New Buyers' Arrival under Dynamic Pricing Market Microstructure: The Case of Group-Buying Discounts on the Internet.	HICSS	2001	DBLP DOI BibTeX RDF	group-buying discounts, Internet-based selling, electronic markets, Bidding, dynamic pricing, online retailing, pricing mechanisms, market microstructure
11	Deborah A. Frincke	Balancing cooperation and risk in intrusion detection.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	authorization mechanisms, collaborative systems, access control models
11	Simon F. Giszter, Karen A. Moxon, Ilya A. Rybak, John K. Chapin	A Neurobiological Perspective on Humanoid Robot Design.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	brain mechanisms, force-field primitives, neuroprostheses, humanoid robots
11	Hossam I. Gharib, Ping-Wen Chen, Yasuro Kawata, Shi-Kuo Chang	Adlets Migration and Handling in a Distributed Object Environment.	ISORC	2000	DBLP DOI BibTeX RDF	migration mechanisms, naming system, information retrieval, information fusion, distributed objects, Object migration
11	Yang Song, Pietro Perona	A Computational Model for Motion Detection and Direction Discrimination in Humans.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	direction discrimination, biological motion, joint probability density function, human motion perception, computer vision, learning (artificial intelligence), learning, probability, computational model, inference mechanisms, motion detection, biology computing, statistical inference, image motion analysis, psychophysics experiments, quantitative models
11	Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind	Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards.	IPDPS	2000	DBLP DOI BibTeX RDF	Message Passing Mechanisms, Network Interface Unit Architecture, One-poll Mechanism
11	Alvaro A. A. Fernandes	Combining Inductive and Deductive Inference in Knowledge Management Tasks.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	deductive inference, information supply, knowledge information and data engine, logic programming, inference mechanisms, virtual organizations, knowledge creation, inductive inference, distributed knowledge management
11	Chrysanthos Dellarocas	Immunizing online reputation reporting systems against unfair ratings and discriminatory behavior.	EC	2000	DBLP DOI BibTeX RDF	online fraud, trust, electronic markets, reputation mechanisms
11	Lucas Bordeaux, Frédéric Benhamou	Automated reasoning on monotonic constraints.	ICTAI	2000	DBLP DOI BibTeX RDF	monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling
11	Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda	Implementing an action language using a SAT solver.	ICTAI	2000	DBLP DOI BibTeX RDF	planning algorithms, plan search space, planning graph, SAT planning, AMP, domain description, Java, Java, data structures, data structure, planning (artificial intelligence), computability, inference mechanisms, satisfiability problem, SAT solver, reasoning about action, model generation, action language
11	Sanjay J. Patel, Daniel H. Friendly, Yale N. Patt	Evaluation of Design Options for the Trace Cache Fetch Mechanism.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	High bandwidth fetch mechanisms, wide issue machines, speculative execution, instruction cache, trace cache
11	Susan E. Yager	Using information technology in a virtual work world: characteristics of collaborative workers.	SIGCPR	1999	DBLP DOI BibTeX RDF	IT support mechanisms, user acceptance of IT, virtual work world, virtual teams, technology acceptance model
11	Rebecca E. Grinter, James D. Herbsleb, Dewayne E. Perry	The geography of coordination: dealing with distance in R&D work.	GROUP	1999	DBLP DOI BibTeX RDF	geographically distributed development, collaborative work, coordination mechanisms
11	Bhargav R. Bellur, Galen H. Sasaki	A SAT-based network access scheme for fairness in high speed networks.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	MetaRing, network access mechanisms, virtual rings, distributed algorithms, fairness, high speed network, access delay
11	Daniel H. Friendly, Sanjay J. Patel, Yale N. Patt	Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism.	MICRO	1997	DBLP DOI BibTeX RDF	high bandwidth fetch mechanisms, wide issue machines, inactive issue, speculative execution, trace cache, partial matching
11	Carla Simone, Stefania Bandini	Compositional features for promoting awareness within and across cooperative applications.	GROUP	1997	DBLP DOI BibTeX RDF	CSCW infrastructures, models of awareness, coordination mechanisms
11	Shiow-Yang Wu, Daniel P. Miranker, James C. Browne	Decomposition Abstraction in Parallel Rule Languages.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Decomposition abstraction, parallel production systems, multiple rule firing systems, parallel decomposition, explicit parallel languages, decomposition mechanisms, set-oriented constructs, semantic-based dependency analysis, functional dependency
11	Horst Zuse	Foundations of object-oriented software measures.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers
11	Qing Guo, Paliath Narendran, David A. Wolfram	Unification and Matching Modulo Nilpotence.	CADE	1996	DBLP DOI BibTeX RDF	Subject area MECHANISMS, unification
11	Saturnino F. Luz-Filho	Grammar Specification in Categorial Logics and Theorem Proving.	CADE	1996	DBLP DOI BibTeX RDF	Mechanisms (semantic tableaux) and Applications (computational liguistics)
11	Susumu Tsuhara	RDB structure chart display using fuzzy rules.	ICPADS	1996	DBLP DOI BibTeX RDF	RDB structure chart display, information network users, table structures, high quality structure chart, fuzzy logic, relational databases, relational database, graphical user interfaces, graphical user interface, inference mechanisms, fuzzy rules, fuzzy inference, end user computing
11	Herman Akdag, Myriam Mokhtari	Approximative Conjunctions Processing by Multi-Valued Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	conjunctions processing, neighbourhood degree, knowledge based systems, knowledge base, inference mechanisms, multivalued logic, production rule, multi-valued logic
11	S. Lehmke	Weight Structures for Approximate Reasoning with Weighted Expressions.	ISMVL	1996	DBLP DOI BibTeX RDF	weight structures, weighted expressions, fundamental relations model, semantic consequence, fuzzy logic, inference mechanisms, multivalued logic, many-valued logic, approximate reasoning, uncertainty handling
11	Lotfi A. Zadeh	Inference in Fuzzy Logic via Generalized Constraint Propagation.	ISMVL	1996	DBLP DOI BibTeX RDF	generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words
11	David R. Smith	Hardware Synthesis From Encapsulated Verilog Modules.	ASAP	1996	DBLP DOI BibTeX RDF	encapsulated Verilog modules, Verilog writing style, code complexity, automatic inference of control, low level simulation, computational complexity, logic design, inference mechanisms, hardware description languages, hardware synthesis, control points, clock cycle
11	Yuntao Cui, Daniel L. Swets, Juyang Weng	Learning-Based Hand Sign Recognition Using SHOSLIF-M.	ICCV	1995	DBLP DOI BibTeX RDF	SHOSLIF-M, self-organizing framework, learning-based hand sign recognition, spatiotemporal event recognition, spatiotemporal event learning, intensity image sequences, multiclass multivariate discriminant analysis, most discriminating features, space partition tree, logarithmic retrieval time complexity, interpolation scheme, view inference, computer vision, computational complexity, database, object recognition, interpolation, generalization, image sequences, patterns, image recognition, inference mechanisms, learning systems, generalisation (artificial intelligence), recognition rate, multivariable systems, self-adjusting systems
11	John Krumm, Steven A. Shafer	Texture Segmentation and Shape in the Same Image.	ICCV	1995	DBLP DOI BibTeX RDF	uniformly textured surfaces, 3D shape inference, 3D effects, region-growing algorithm, image spectrogram, local surface normals, local frequency domain, image segmentation, inference mechanisms, image texture, texture segmentation, image understanding, shape-from-texture, shape segmentation, 3D scenes
11	Thierry Carron, Patrick Lambert	Fuzzy color edge extraction by inference rules quantitative study and evaluation of performances.	ICIP	1995	DBLP DOI BibTeX RDF	fuzzy color edge extraction, inference rules quantitative study, hue saturation intensity, HSI space, color edge detection, performances, fuzzy logic, edge detection, inference mechanisms, image colour analysis, synthetic images, noise sensitivity, fuzzy if-then rules, edges localization
11	Fabrizio Russo 0001, Giovanni Ramponi	An image enhancement technique based on the FIRE operator.	ICIP	1995	DBLP DOI BibTeX RDF	image enhancement technique, FIRE operator, fuzzy logic approach, fuzzy inference ruled by else-action, nonlinear operators, image data processing, smoothing rules, sharpening rules, very small rulebase, performance, fuzzy logic, image enhancement, inference mechanisms, image quality, fuzzy rules, smoothing methods
11	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
11	Liusheng Liu, Zhijian Li, Bingxue Shi	Segment Matrix Vector Quantization and Fuzzy Logic for Isolated-Word Speech Recognition.	ISMVL	1995	DBLP DOI BibTeX RDF	segment matrix vector quantization, isolated word speech recognition, isolated-word speech recognition, speech recognition approach, SMVQ, time sequence information, segment characteristics, feature vector sequences, nonlinearly normalized, speaker independent isolated digit recognition, fuzzy logic, fuzzy logic, speech recognition, inference mechanisms, matrix algebra, fuzzy reasoning, vector quantisation, quantization error, VQ, speech signal, recognition accuracy
11	Wendy MacCaull	Finite Algebraic Models for Residuated Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
11	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm.	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
11	Henry Lieberman	The Visual Language of Experts in Graphic Design.	VL	1995	DBLP DOI BibTeX RDF	graphic design experts, visual problem solving experts, computer-based image-editing tools, inference techniques, design professionals, informal knowledge engineering study, design communication, beginning designer teaching, knowledge acquisition system, computer graphics, knowledge acquisition, visual languages, visual language, problem solving, inference mechanisms, student, graphic designers, computer aided instruction, intelligent assistance, novices, learning by example, books, design knowledge, graphical editors, artificial intelligence techniques, intelligent design assistants, learning techniques
11	Jürgen Landauer, Masahito Hirakawa	Visual AWK: A Model for Text Processing by Demonstration.	VL	1995	DBLP DOI BibTeX RDF	Visual AWK, control structure inference, user-intended generalization, vertical demonstration, pattern-action paradigm, spreadsheet metaphor, usability, feedback, visual programming, visual languages, inference mechanisms, programming-by-demonstration, program visualization, generalisation (artificial intelligence), expressive power, text processing, word processing, visual feedback, visual programming language, spreadsheet programs
11	Ning Zhong 0001, Setsuo Ohsuga	Managing/refining structural characteristics discovered from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	structural characteristics management, structural characteristics refinement, automatic knowledge discovery, large knowledge bases, erroneous data, hypothesis generation, hypothesis evaluation, Inheritance Inference Based Refinement, Global Learning Scheme, Knowledge Oriented Statistic Inference, KAUS knowledge-based system, IIBR subsystem, GLS discovery system, KOSI subsystem, learning (artificial intelligence), databases, data structures, knowledge based systems, inheritance, deductive databases, error analysis, error analysis, inference mechanisms, heuristic programming, regression models, model representation, deductive rules
11	Fengrong Ren, Hiroshi Tanaka, Noria Fukuda, Takashi Gojobori	Molecular evolutionary phylogenetic trees based on minimum description length principle.	HICSS (5)	1995	DBLP DOI BibTeX RDF	molecular evolutionary phylogenetic trees, minimum complexity phylogenetic tree, branch lengths, logarithmic likelihood, mitochondrial DNA sequences, complexity, trees (mathematics), inference mechanisms, DNA, genetics, biology computing, inductive inference, minimum description length principle, tree topology
11	Stephen F. Roehrig	Incompletely specified probabilistic networks.	HICSS (3)	1995	DBLP DOI BibTeX RDF	incompletely specified probabilistic networks, AI, decision support systems, DSS, inference mechanisms, uncertainty handling, conditional probabilities, probabilistic logic, random variables, logical models
11	V. Srinivasan Rao	The implementation of satellite offices: initial recommendations based on observations from one site.	HICSS (4)	1995	DBLP DOI BibTeX RDF	satellite offices implementation, initial recommendations, job redesign, cost-benefit relationships, inferences, inference mechanisms, video conferencing, change management, teleconferencing, office automation, teleworking, social aspects of automation, interactional patterns, information gathering, communication technologies, coordination systems
11	Bob Berry, Goksan Erdogan, Duarte Trigueiros	Rule induction for financial modelling and model interpretation.	HICSS (3)	1995	DBLP DOI BibTeX RDF	model interpretation, financial data analysis tasks, post processing task, financial variables, ration scale, knowledge based systems, inference mechanisms, rule induction, modelling tool, model building, ID3, corporate modelling, financial modelling
11	Gregoris Mentzas, I. Linardopoulos, Vassilis Assimakopoulos	An architechture for intelligent assistance in the forecasting process.	HICSS (3)	1995	DBLP DOI BibTeX RDF	forecasting theory, forecasting process, decision-making tasks, inference procedures, knowledge-based techniques, statistical forecasting, generic forecasting process, Intelligent Forecasting Information System, IFIS, process expert, learning expert, data expert, model expert, knowledge representation, knowledge representation, decision support systems, decision support systems, expert systems, inference mechanisms, intelligent assistance, expertise modelling
11	Debby Keen, Arcot Rajasekar	Inductive certainty factors from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	inductive certainty factors, missing information inference, statistical based measures, inductive dependencies, delta measurement, delta functions, knowledge mining formalism, databases, artificial intelligence, knowledge representation, knowledge acquisition, knowledge acquisition, deductive databases, inference mechanisms, uncertainty handling, intelligent information systems
11	Tarao Yanaru	An emotion processing system based on fuzzy inference and subjective observations.	ANNES	1995	DBLP DOI BibTeX RDF	emotion processing system, subjective observations, mixed emotions, mixed emotional words, simulated person, emotional change, subjective observation model, construction methodology, aggregated emotion, objective emotion, simulated emotion processing system, emotional transition, expanded emotional Dialog System, image codes, inference mechanisms, fuzzy set theory, psychology, fuzzy inference, uncertainty handling
11	Shin Nakamura, Eiji Uchino, Takeshi Yamakawa	Fuzzy reasoning method for smooth interpolation.	ANNES	1995	DBLP DOI BibTeX RDF	smooth interpolation, fuzzy reasoning method, neighboring data, data pairs, practical data, simulation, interpolation, digital simulation, inference mechanisms, fuzzy set theory, computer simulations, fuzzy rule, humans, fluctuation
11	John M. Arran, M. H. Saeedi, Bob Steele	Configuring a parallel knowledge engine.	ANNES	1995	DBLP DOI BibTeX RDF	parallel knowledge engine, run-time processing, processor network, hierarchy clustering, Sheffield Parallel Inference Knowledge Engine, parallel processing, parallel processing, resource allocation, knowledge based systems, knowledge-base systems, time, computational model, knowledge engineering, inference mechanisms, research, software performance evaluation, communication overhead, speed
11	Giuseppe Ascia, Vincenzo Catania	Design of a VLSI parallel processor for fuzzy computing.	VLSI Design	1995	DBLP DOI BibTeX RDF	VLSI parallel processor, fuzzy computing, /spl alpha/-level sets theory, memory resources, processing units, 50 MHz, scalability, VLSI, parallelism, fuzzy logic, parallel architectures, inference mechanisms, fuzzy set theory, integrated circuit design, microprocessor chips, membership functions, fuzzy inferences, clock frequency, 8 bit
11	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
11	Giuseppe Ascia, Giuseppe Ficili, Daniela Panno	Design of a VLSI fuzzy processor for ATM traffic sources management.	LCN	1995	DBLP DOI BibTeX RDF	VLSI fuzzy processor, ATM traffic sources management, traffic arrival, policing mechanism, fuzzy logic, Fuzzy Logic, asynchronous transfer mode, ATM networks, inference mechanisms, traffic control, fuzzy inferences, telecommunication congestion control, bottleneck, policing
11	Debashish Niyogi, Sargur N. Srihari	Knowledge-based derivation of document logical structure.	ICDAR	1995	DBLP DOI BibTeX RDF	document logical structure, spatial domain knowledge, document logical structure derivation, rule-based control strategy, multi-level knowledge base, document layout rules, DeLoS, block classification, read-ordering operations, document image data, incremental inferences, knowledge based systems, knowledge-based, grouping, inferences, document image processing, inference mechanisms, document image, document layout, symbolic description