Search results for "procedures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	E. L. Lohse	Data communications control procedures for the USA standard code for information interchange.	Commun. ACM	1969	DBLP DOI BibTeX RDF	communication control procedures, communication error control procedures, communication establishment/termination procedures, communication message transfer procedures, communication polling/selection procedures, data communication control procedures, data communication error control procedures, data communication establishment/termination procedures, data communication message transfer procedures, data communication polling/selection procedures, data link control procedures, data link error control procedures, data link establishment, data link establishment/termination procedures, data link message transfer procedures, data link polling, data link polling/selection procedures, link control procedures, link error control procedures, link establishment/termination procedures, link message transfer procedures, link polling/selection procedures, selection procedures, termination procedures, communication, link, data communication, data link
4	R. de Vogelaere	Algorithms: Algorithm 335: a set of basic input-output procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational
3	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz	New results on rewrite-based satisfiability procedures.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition
3	Christian Martel, Laurence Vignollet, Christine Ferraris, Emmanuelle Villiot-Leclercq, Salim Ouari	PPdesigner: An Editor for Pedagogical Procedures.	EC-TEL	2009	DBLP DOI BibTeX RDF	Pedagogical Procedures, Pedagogical scenarios, Modelling, Authoring Tool, Learning Design
3	Pablo Moreno-Ger, Carl Blesius, Paul Currier, José Luis Sierra, Baltasar Fernández-Manjón	Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations.	T. Edutainment	2008	DBLP DOI BibTeX RDF	game-like simulations, development process model, development costs, clinical procedures, e-Adventure, .LRN, learning management systems, game-based learning, virtual learning environments, IMS Learning Design
3	Joris Hulstijn, Jianwei Liu, Yao-Hua Tan	Delegation of Control in Administrative Procedures.	DEON	2008	DBLP DOI BibTeX RDF	administrative procedures, evidence documents, trust
3	Massimo Ferraguto, Tim Wittrock, Mark Barrenscheen, Matti Paakko, Ville Sipinen	The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites.	COMPSAC	2008	DBLP DOI BibTeX RDF	On-Board Control Procedures OBCP Herschel Planck
3	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	2008	DBLP DOI BibTeX RDF	?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic
3	Beatriz Marín, Giovanni Giachetti, Oscar Pastor	Measurement of Functional Size in Conceptual Models: A Survey of Measurement Procedures Based on COSMIC.	IWSM/Metrikon/Mensura	2008	DBLP DOI BibTeX RDF	Functional Size Procedures, Conceptual Models, Functional Size Measurement, COSMIC
3	Alta van der Merwe, Paula Kotzé	Criteria used in selecting effective requirements elicitation procedures.	SAICSIT Conf.	2007	DBLP DOI BibTeX RDF	requirements elicitation procedures, process models
3	Maosong Huang, Ming Liu, O. C. Zienkiewicz	Stabilized Procedures for Finite Element Analysis in Saturated Soils Under Cyclic Loading.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Saturated soils, Cyclic loading, u-p formulation, Incompressible behavior, Stabilization procedures
3	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Executive Summary -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
3	René Thiemann, Jürgen Giesl, Peter Schneider-Kamp	Decision Procedures for Loop Detection.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
3	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis	07401 Abstracts Collection -- Deduction and Decision Procedures.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
3	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	Building Decision Procedures in the Calculus of Inductive Constructions.	CSL	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Decision procedures, Theorem provers
3	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
3	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
3	Alessandro Armando, Silvio Ranise, Michaël Rusinowitch	Uniform Derivation of Decision Procedures by Superposition.	CSL	2001	DBLP DOI BibTeX RDF	Arrays with Extensionality, Term Rewriting, Decision Procedures, Homomorphism, Automated Deduction, Lists, Superposition, Equational Logic
3	Mark Staples	Interfaces for Refining Recursion and Procedures.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Refinement Tools, Interfaces, Refinement, Recursion, Procedures
3	Kaisa Sere, Marina A. Waldén	Data Refinement of Remote Procedures.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Remote procedures, Atomicity refinement, Action systems
3	Nassir Navab, Benedicte Bascle, Michael H. Loser, Bernhard Geiger, Russell H. Taylor	Visual Servoing for Automatic and Uncalibrated Needle Placement for Percutaneous Procedures. (PDF / PS)	CVPR	2000	DBLP DOI BibTeX RDF	perspective invariant, percutaneous procedures, needle placement, projective geometry, visual servoing, cross-ratios
3	Wim H. Hesselink	Predicate Transformers for Recursive Procedures with Local Variables.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Frames, Predicate transformers, Proof rule, Recursive procedures
3	Halim Damerdji, Marvin K. Nakayama	Two-Stage Multiple-Comparison Procedures for Steady State Simulations.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	multiple comparisons, standardized time series, steady-state output analysis, two-stage procedures, stochastic simulation
3	Raimund K. Ege, Naphtali Rishe, Jingyu Liu, Vladimir Lebedev	Using Java to Add "Stored Procedures" to Databases.	TOOLS	1999	DBLP DOI BibTeX RDF	databases, object-orientation, stored procedures
3	Manish Gupta, Sayak Mukhopadhyay, Navin Sinha	Automatic Parallelization of Recursive Procedures.	IEEE PACT	1999	DBLP DOI BibTeX RDF	parallelizing compilers, automatic parallelization, divide and conquer, interprocedural analysis, symbolic analysis, recursive procedures
3	Keinosuke Fukunaga, Donald M. Hummels	Leave-One-Out Procedures for Nonparametric Error Estimates.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	leave one out procedures, nonparametric error estimates, Parzen estimates, error analysis, nearest neighbor, Bayes methods, estimation theory, covariances
3	Ted Tenny	Program Readability: Procedures Versus Comments.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	factorial experiment, procedure format, PL/1 program, PL/1, programming, readability, procedures, comments
3	Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis	A Simulation Study of Two Distributed Task Allocation Procedures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed task allocation procedures, LOCO procedure, general-purpose processing, complex multitask jobs, artificial-intelligence-oriented systems, system bottleneck, load balancing, protocols, interconnection network, virtual machines, communications protocols, TDMA, supercomputing, multiprogramming, simulation study, CSMA/CD, carrier-sense multiple-access
3	Edward F. Storm	CHAMP - character manipulation procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching
2	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
2	Michael Huth, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	STTT	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
2	Tsuyoshi Ueno, Shin-ichi Maeda, Motoaki Kawanabe, Shin Ishii	Optimal Online Learning Procedures for Model-Free Policy Evaluation.	ECML/PKDD	2009	DBLP DOI BibTeX RDF
2	Winly Jurnawan, Uwe Röhm	Data Provenance Support in Relational Databases for Stored Procedures.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF	Relational Database, Provenance, Stored Procedure
2	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch	Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.	TACAS	2009	DBLP DOI BibTeX RDF
2	Kenneth L. McMillan	What's in Common between Test, Model Checking, and Decision Procedures?	FMICS	2009	DBLP DOI BibTeX RDF
2	Nau Lau, Luís Seabra Lopes, Gustavo A. Corrente, Nelson Filipe	Multi-robot team coordination through roles, positionings and coordinated procedures.	IROS	2009	DBLP DOI BibTeX RDF
2	Wen-Chin Li, Don Harris, Yueh-Ling Hsu, Lon-Wen Li	The Application of Human Error Template (HET) for Redesigning Standard Operational Procedures in Aviation Operations.	HCI	2009	DBLP DOI BibTeX RDF	Hierarchical Task Analysis, Human Error Template, Standard Operation Procedure, Aviation Safety
2	Alberto Cabas Vidani, Luca Chittaro	Using a Task Modeling Formalism in the Design of Serious Games for Emergency Medical Procedures.	VS-GAMES	2009	DBLP DOI BibTeX RDF	emergency medical procedures, design, development, task modeling, serious games
2	Wolfgang Wein, Estelle Camus, Matthias John, Mamadou Diallo, Christophe Duong, Amin Al-Ahmad, Rebecca Fahrig, Ali Khamene, Chenyang Xu	Towards Guidance of Electrophysiological Procedures with Real-Time 3D Intracardiac Echocardiography Fusion to C-arm CT.	MICCAI	2009	DBLP DOI BibTeX RDF
2	Christian Schaller, Christopher Rohkohl, Jochen Penne, Michael Stürmer, Joachim Hornegger	Inverse C-arm Positioning for Interventional Procedures Using Real-Time Body Part Detection.	MICCAI	2009	DBLP DOI BibTeX RDF
2	Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh	Manipulation and gender neutrality in stable marriage procedures.	AAMAS	2009	DBLP DOI BibTeX RDF
2	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
2	Jean Liénard, Régis Vaillant	Quantitative Tool for the Assessment of Myocardial Perfusion during X-Ray Angiographic Procedures.	FIMH	2009	DBLP DOI BibTeX RDF
2	Alberto Jiménez Rozo	Supply of accounting and financial information entities in charge of control surveillance: a proposal for the streamlining of procedures.	ICEGOV	2009	DBLP DOI BibTeX RDF	customer-server, enterprise resources and software planning (ERP), government to business (G2B), internet data center (IDC), partnerships management and directors, remote surveillance/intervention, confidentiality, software as a service (SaaS), internal control
2	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Krzysztof Grochla, Walter Buga, Piotr Pacyna, Jaroslaw Dzierzega, Aleksander Seman	Autoconfiguration procedures for multiradio wireless mesh networks based on DHCP protocol.	WOWMOM	2009	DBLP DOI BibTeX RDF
2	Jianqiang Shen, Erin Fitzhenry, Thomas G. Dietterich	Discovering frequent work procedures from resource connections.	IUI	2009	DBLP DOI BibTeX RDF	data mining, workflow, resource management, provenance, intelligent interfaces, automated assistance
2	Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher	Extending the loop language with higher-order procedural variables.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Gödel System T, Loop language, higher-order procedures, procedural variables
2	Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell	Term transformers: A new approach to state.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
2	André Platzer, Jan-David Quesel, Philipp Rümmer	Real World Verification.	CADE	2009	DBLP DOI BibTeX RDF	hybrid systems, software verification, decision procedures, Real-closed fields
2	Nuno Lau, Luís Seabra Lopes, Nelson Filipe, Gustavo A. Corrente	Roles, Positionings and Set Plays to Coordinate a RoboCup MSL Team.	EPIA	2009	DBLP DOI BibTeX RDF	Multi-robot team coordination, strategic positioning, dynamic role assignment, coordinated procedures
2	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	STTT	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
2	Jing Ren, Rajni V. Patel, Kenneth A. McIsaac, Gerard Guiraudon, Terry M. Peters	Dynamic 3-D Virtual Fixtures for Minimally Invasive Beating Heart Procedures.	IEEE Trans. Med. Imaging	2008	DBLP DOI BibTeX RDF
2	Benny Godlin, Ofer Strichman	Inference rules for proving the equivalence of recursive procedures.	Acta Inf.	2008	DBLP DOI BibTeX RDF
2	Richard P. Konstance, Eric L. Eisenstein, Kevin J. Anstrom, Linda K. Shaw, Robert M. Califf, Robert A. Harrington, David B. Matchar, Kevin A. Schulman, David F. Kong	Outcomes of Second Revascularization Procedures after Stent Implantation.	J. Medical Systems	2008	DBLP DOI BibTeX RDF	Stent, Restenosis, Coronary bypass surgery, Myocardial infarction, Revascularization, Survival
2	Shaul Druckmann, Thomas K. Berger, Sean Hill, Felix Schürmann, Henry Markram, Idan Segev	Evaluating automated parameter constraining procedures of neuron models by experimental and surrogate data.	Biological Cybernetics	2008	DBLP DOI BibTeX RDF	Compartmental, Firing pattern, Automated fitting, Parameter constraining, Model, Multi-objective Optimization, Neuron
2	Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch	Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.	STTT	2008	DBLP DOI BibTeX RDF	Sweep-line, Coloured Petri Nets, State explosion, State space methods, DCCP
2	Giovane Cesar Moreira Moura, Luciano Paschoal Gaspary	Applying a model of configuration complexity to measure security impact on IT procedures.	NOMS	2008	DBLP DOI BibTeX RDF
2	Yu-Lin Chu, Tsai-Yen Li	Using pluggable procedures and ontology to realize semantic virtual environments 2.0.	VRCAI	2008	DBLP DOI BibTeX RDF	ontology for virtual environment, semantic virtual environment, OSGi, multi-user virtual environment
2	Aarti Gupta	Software Verification: Roles and Challenges for Automatic Decision Procedures.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Saidalavi Kalady, B. Dev, A. N. Arun, V. K. Govindan, Abraham T. Mathew	Optimal Agendas and Procedures for N-Issue Negotiation: An Inductive Definition.	MICAI	2008	DBLP DOI BibTeX RDF
2	Atsuko K. Yamazaki, Kenji Goto, Hirokazu Taki, Satoshi Hori	An Effectiveness Study of Pictogram Elements for Steps in Manufacturing Procedures.	KES	2008	DBLP DOI BibTeX RDF	manufacturing instructions, commu nication, comprehensibility, pictogram
2	Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio	Audit and backup procedures for hardware security modules.	IDtrust	2008	DBLP DOI BibTeX RDF	PKI ceremony, embedded cryptographic hardware, hardware security module, key life-cycle, key management, public key infrastructure
2	Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub	From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.	IFIP TCS	2008	DBLP DOI BibTeX RDF
2	Peter Lammich, Markus Müller-Olm	Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.	SAS	2008	DBLP DOI BibTeX RDF
2	Marcílio Carlos Pereira de Souto, Daniel S. A. de Araujo, Ivan G. Costa, Rodrigo G. F. Soares, Teresa Bernarda Ludermir, Alexander Schliep	Comparative study on normalization procedures for cluster analysis of gene expression datasets.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Luc Soler, Stéphane Nicolau, Jean-Baptiste Fasquel, Vincent Agnus, Arnaud Charnoz, Alexandre Hostettler, Johan Moreau, Clement Forest, Didier Mutter, Jacques Marescaux	Virtual reality and augmented reality applied to laparoscopic and notes procedures.	ISBI	2008	DBLP DOI BibTeX RDF
2	Edwin J. Beggs, J. V. Tucker	Programming Experimental Procedures for Newtonian Kinematic Machines.	CiE	2008	DBLP DOI BibTeX RDF
2	Francis Real, David Riaño	An Autonomous Algorithm for Generating and Merging Clinical Algorithms.	K4HelP	2008	DBLP DOI BibTeX RDF
2	Sascha Krüger, Stephan Wolff, Arno Schmitgen, Holger Timinger, Martin Bublat, Tobias Schaeffter, Arya Nabavi	Fast and Accurate Automatic Registration for MR-Guided Procedures Using Active Microcoils.	IEEE Trans. Med. Imaging	2007	DBLP DOI BibTeX RDF
2	Deepak Padmanabhan, Krishna Kummamuru	Mining conversational text for procedures with applications in contact centers.	IJDAR	2007	DBLP DOI BibTeX RDF	Conversation mining, AprioriAll, Clustering, Text mining, K-Means
2	Stijn Van de Vonder, Erik Demeulemeester, Willy Herroelen	A classification of predictive-reactive project scheduling procedures.	J. Scheduling	2007	DBLP DOI BibTeX RDF	Proactive-reactive project scheduling, Time uncertainty, Timely project completion, Stability
2	Mohammad Tehranipoor, Reza M. Rad	Built-In Self-Test and Recovery Procedures for Molecular Electronics-Based Nanofabrics.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	Nassir Navab, Jörg Traub, Tobias Sielhorst, Marco Feuerstein, Christoph Bichlmeier	Action- and Workflow-Driven Augmented Reality for Computer-Aided Medical Procedures.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	medical procedures, virtual reality, augmented reality, surgery
2	Lefteris Gortzis, H. Papadopoulos, Theo A. Roelofs, Stefan Rakowsky, Dimitris Karnabatidis, Dimitris Siablis, C. Makropoulos, George Nikiforidis, Georgi Graschew	Collaborative Work During Interventional Radiological Procedures Based on a Multicast Satellite-Terrestrial Network.	IEEE Transactions on Information Technology in Biomedicine	2007	DBLP DOI BibTeX RDF
2	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
2	Jonathan Billington, Bing Han	Modelling and analysing the functional behaviour of TCP's connection management procedures.	STTT	2007	DBLP DOI BibTeX RDF	TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
2	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
2	Gulay Ünel, David Toman	An Incremental Technique for Automata-Based Decision Procedures.	CADE	2007	DBLP DOI BibTeX RDF
2	Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu	Boosting Verification by Automatic Tuning of Decision Procedures.	FMCAD	2007	DBLP DOI BibTeX RDF	Search Parameter Optimization, Decision Procedures, Boolean Satisfiability
2	Philip Brisk, Majid Sarrafzadeh	Interference graphs for procedures in static single information form are interval graphs.	SCOPES	2007	DBLP DOI BibTeX RDF	k-colorable subgraph problem, linear scan register allocation, static single information (SSI) form, compilers, register allocation, interval graph
2	Emmanuel Ramasso, Michèle Rombaut, Denis Pellerin	Forward-Backward-Viterbi Procedures in the Transferable Belief Model for State Sequence Analysis Using Belief Functions.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Predrag Janicic, Alan Bundy	Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
2	Engin Cinar Sahin	Extracting procedures from text.	K-CAP	2007	DBLP DOI BibTeX RDF	knowledge acquisition from text, knowledge extraction
2	Martin Sedlmayr, Thomas Rose, Torben Greiser, Rainer Röhrig, Markus Meister, Achim Michel-Backofen	Automating Standard Operating Procedures in Intensive Care.	CAiSE	2007	DBLP DOI BibTeX RDF
2	Gulay Ünel, David Toman	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
2	Ricci S. C. Ieong, H. C. Leung	Deriving cse-specific live forensics investigation procedures from FORZA.	SAC	2007	DBLP DOI BibTeX RDF	FORZA, digital forensics framework, live forensics
2	Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis (eds.)	Deduction and Decision Procedures, 30.09. - 05.10.2007	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
2	Aida Kamisalic, David Riaño, Francis Real, Tatjana Welzer	Temporal Constraints Approximation from Data about Medical Procedures.	CBMS	2007	DBLP DOI BibTeX RDF
2	Mamoru Okada, Akio Ishimoto, Toshiki Yamaoka	Cognitive Styles and Knowledge of Operational Procedures of Electric Appliances.	HCI	2007	DBLP DOI BibTeX RDF	operating procedure, electronic appliance, mental model, cognitive style
2	Alexandra Durcikova, Susan A. Brown	Influence of System, Environment, and Procedures on Knowledge Submission Frequency.	HICSS	2007	DBLP DOI BibTeX RDF
2	Kamen Kanev, Zixue Cheng, Nikolay N. Mirenkov	Methods and Technologies for Enhancing and Optimizing Power Plant Inspection Procedures.	CIT	2007	DBLP DOI BibTeX RDF
2	Mattia Zampieri, Ingrid Cifola, Dario Basso, Roberta Spinelli, Luca Beltrame, Clelia Peano, Cristina Battaglia, Silvio Bicciato	Locally Adaptive Statistical Procedures for the Integrative Analysis on Genomic and Transcriptional Data.	WILF	2007	DBLP DOI BibTeX RDF	integrative, microarray, gene expression, genomics, genotyping
2	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Combining Proof-Producing Decision Procedures.	FroCos	2007	DBLP DOI BibTeX RDF
2	Sun-myung Hwang	Intelligent Methods and Procedures of Countermeasure Design.	MUE	2007	DBLP DOI BibTeX RDF
2	Yasuhiko Minamide	Verified Decision Procedures on Context-Free Grammars.	TPHOLs	2007	DBLP DOI BibTeX RDF
2	Ting Guo, Andrew G. Parrent, Terry M. Peters	Automatic Target and Trajectory Identification for Deep Brain Stimulation (DBS) Procedures.	MICCAI	2007	DBLP DOI BibTeX RDF
2	Yanong Zhu, Derek R. Magee, Rish Ratnalingam, David Kessel	A Training System for Ultrasound-Guided Needle Insertion Procedures.	MICCAI	2007	DBLP DOI BibTeX RDF
2	Nicolas Hervé, Daniel Menard, Olivier Sentieys	About the Importance of Operation Grouping Procedures for Multiple Word-Length Architecture Optimizations.	ARC	2007	DBLP DOI BibTeX RDF
2	Shiao-Li Tsao, Ya-Lien Cheng	Improving Channel Scanning Procedures for WLAN Handoffs.	EUC Workshops	2007	DBLP DOI BibTeX RDF	channel scan, WLAN, mobility management, handoff