Search results for "STEPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Erika Matsak	Representing Logical Inference Steps with Digital Circuits.	HCI (9)	2009	DBLP DOI BibTeX RDF	Logical inference steps, digital circuits representing logical inference steps, logic gates
43	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Multiversion Cautious Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	read/write steps, multiversion cautious scheduler, incoming sequence, read sets, write sets, MWW, MWRW, multiversion classes, write-write, write-read-write constraints, cancellation anomaly, predeclared steps, read operations, scheduling, concurrency control, database management systems, transactions, transaction processing, polynomial time, logs, rollbacks, reordering, MC, database concurrency control
43	László Lengyel, Tihamer Levendovszky, Hassan Charaf	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF	Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
40	Johan Jansson, Anders Logg	Algorithms and Data Structures for Multi-Adaptive Time-Stepping.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	DOLFIN, Multi-adaptivity, continuous Galerkin, individual time steps, local time steps, mcgq, mdgq, algorithms, C++, implementation, multirate, ODE, discontinuous Galerkin
39	Axel Dold	Software Development in PVS Using Generic Development Steps.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic development steps, transformational software development, formal verification, mechanized theorem proving
39	Behrouz Khoshnevis, Babak Hossein Khalaj	Analysis of a deterministic power level selection algorithm with small and large power steps for Aloha networks under saturation.	Wirel. Networks	2009	DBLP DOI BibTeX RDF	Aloha networks, Binary exponential back-off, Capture effect
36	Pierre-Olivier Ribet, François Vernadat 0001, Bernard Berthomieu	On Combining the Persistent Sets Method with the Covering Steps Graph Method.	FORTE	2002	DBLP DOI BibTeX RDF	persistent sets, covering steps graph, partial-order, Concurrent systems, state space exploration, verification methods
35	Erich L. Kaltofen	An output-sensitive variant of the baby steps/giant steps determinant algorithm.	ISSAC	2002	DBLP DOI BibTeX RDF
34	W. E. Milne, R. R. Reynolds	Stability of a Numerical Solution of Differential Equations.	J. ACM	1959	DBLP DOI BibTeX RDF
33	Qun Dai, Songcan Chen	Chained DLS-ICBP Neural Networks with Multiple Steps Time Series Prediction.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	chain structure, discounted least square, improved circular back-propagation, multiple steps time series prediction, neural networks
30	Qixin Zhu, Hongli Liu, Juan Jiang, Yanping Wang, Hui Yang 0005	Stabilization of Networked Control Systems with Long Varying Time Delay Based on Two Steps Transformation.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	two steps transformation, stabilization, Networked control systems
30	R. A. Brownlee, Alexander N. Gorban, Jeremy Levesley	Stable simulation of fluid flow with high-Reynolds number using Ehrenfests' steps.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Ehrenfests’ steps, Numerical stabilisation, Navier-Stokes equations
30	Reiko Hamada, Ichiro Ide, Shuichi Sakai, Hidehiko Tanaka	Structural analysis of cooking preparation steps in Japanese.	IRAL	2000	DBLP DOI BibTeX RDF	cookbooks, domain specific dictionary, preparation steps, structural analysis
28	Jonathan K. Millen, Hai-Ping Ko	Narrowing terminates for encryption.	CSFW	1996	DBLP DOI BibTeX RDF	term replacement rules, reduction properties, symbolic encryption operations, narrowing steps, infinite sequence, popular abstract encryption operators, terminating algorithm, cryptography, encryption, access protocols, protocol analysis
28	David Nassimi	Parallel Algorithms for the Classes of +or-2b DESCEND and ASCEND Computations on a SIMD Hypercube.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	2/sup b/ permutation, SIMD hypercube, routing steps, full-duplex routing, parallelcomputations, +or-2/sup b/ ascend, +or-2/sup b/ descend, cyclicshift, odd-even merge, PM2I interconnection, parallel algorithms, computational complexity, hypercube networks, efficient algorithm, parallel prefix
27	Kiran Rachuri, C. Siva Ram Murthy	Energy Efficient Search in Sensor Networks Using Simple Random Walks with Level Biased Steps.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
27	Fengling Li, Nam Ling, Stephen A. Chiappari	On the Coding Efficiency of MCTF Update Steps for Scalable Video Coding.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
27	Minglun Cai, Feng Cai, Aiguo Shi, Bo Zhou, Yongsheng Zhang	Chaotic Time Series Prediction Based on Local-Region Multi-steps Forecasting Model.	ISNN (2)	2004	DBLP DOI BibTeX RDF
25	Yasunobu Nohara, Sozo Inoue, Kensuke Baba, Hiroto Yasuura	Quantitative evaluation of unlinkable ID matching schemes.	WPES	2005	DBLP DOI BibTeX RDF	degree of unlinkability, k-steps ID matching, privacy, RFID security
25	Pierre Fraigniaud, George Giakkoupis	The effect of power-law degrees on the navigability of small worlds: [extended abstract].	PODC	2009	DBLP DOI BibTeX RDF	power-law degrees, greedy routing, small-world graphs
25	Matthias Müller-Hannemann, Karsten Weihe	Moving Policies in Cyclic Assembly-Line Scheduling.	IWPEC	2004	DBLP DOI BibTeX RDF
24	Akihiro Fujiwara, Takeshi Tateishi	Computation with a constant number of steps in membrane computing.	IPDPS	2009	DBLP DOI BibTeX RDF
24	Kazuyoshi Yoshii, Kazuhiro Nakadai, Toyotaka Torii, Yuji Hasegawa, Hiroshi Tsujino, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno	A biped robot that keeps steps in time with musical beats while listening to music with its own ears.	IROS	2007	DBLP DOI BibTeX RDF
24	Jasen Markovski, Nikola Trcka	Lumping Markov Chains with Silent Steps.	QEST	2006	DBLP DOI BibTeX RDF
24	Mounir Benabdenbi, Alain Greiner, François Pêcheux, Emmanuel Viaud, Matthieu Tuna	STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores.	DATE	2004	DBLP DOI BibTeX RDF
23	Wenqi Li 0002, Chenyu Li, Yuwei Yang	Baby Steps for Easier Accessibility: Our practice of making Alibaba Cloud Console more inclusive by taking baby steps.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
23	Yuto Onuma, Toshinori Takai, Tsutomu Koshiyama, Yutaka Matsuno	D-Case Steps: New Steps for Writing Assurance Cases.	SAFECOMP Workshops	2018	DBLP DOI BibTeX RDF
23	Andrzej Lingas	Vector convolution in O(n) steps and matrix multiplication in O(n^2) steps : -).	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
23	Shari Lawrence Pfleeger	Security Measurement Steps, Missteps, and Next Steps.	IEEE Secur. Priv.	2012	DBLP DOI BibTeX RDF
23	Mohab Safey El Din, Éric Schost	A Baby Steps/Giant Steps Probabilistic Algorithm for Computing Roadmaps in Smooth Bounded Real Hypersurface.	Discret. Comput. Geom.	2011	DBLP DOI BibTeX RDF
23	Mohab Safey El Din, Éric Schost	A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces	CoRR	2009	DBLP BibTeX RDF
23	Yixun Shi	A combination of potential reduction steps and steepest descent steps for solving convex programming problems.	Numer. Linear Algebra Appl.	2002	DBLP DOI BibTeX RDF
22	Petr Posík, Jirí Kubalík	Comparison of cauchy EDA and pPOEMS algorithms on the BBOB noiseless testbed.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	iterative prototype optimization with evolved improvement steps, benchmarking, estimation-of-distribution algorithm, black-box optimization, cauchy distribution, poems
22	Jirina Radilova, Cloe Taddei-Ferretti, Carlo Musio, Silvia Santillo, Edoardo Cibelli, Antonio Cotugno, Tomás Radil	Reversal of "Cubic" and "Cylindric" Figures.	BVAI	2007	DBLP DOI BibTeX RDF	Ambiguous pattern reversal, Necker cube, Information processing steps, Mental interpretation, Object recognition
22	Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart	Dependability Engineering of Complex Computing Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal
22	M. Braun, Martin Hahn 0001, Jens-Rainer Ohm, Maati Talmi	Motion-Compensating Real-Time Format Converter for Video on Multimedia Displays.	ICIP (1)	1997	DBLP DOI BibTeX RDF	motion-compensating real-time format converter, multimedia displays, interlaced TV signals, progressive display formats, frame repetition rate, motion compensated filtering, candidate vector, temporal predecessors, spatial predecessors, DFD error criterion, optimal candidate, pixel recursive steps, fallback mode, single-chip integration, displayed field differences error criterion, motion estimation, motion estimation, video, median filter
22	C. C. Lin, Daniel Pease, Rajeev R. Raje	An Efficient Block Matching Algorithm Based on a Valid Assumption of the Convex Distortion.	ICIP (2)	1997	DBLP DOI BibTeX RDF	efficient block matching algorithm, convex distortion, optimal joint coordinate search method, motion-compensated coding, mean absolute error distortion measure, logarithm steps, local optimum points, shrinked search quadrant, optimal motion estimator, convergence efficiency, high motion accuracy, low information overhead, simulation, performance, motion estimation
22	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
22	Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae	Task.o object modeling approach for robot workcell programming.	COMPSAC	1997	DBLP DOI BibTeX RDF	Task o object modeling approach, robot workcell programming, object oriented programming paradigms, Task object Coupling, ToC programming technique, development steps, concurrency, autonomy, robot programming
22	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
22	Taekyoung Kwon 0002, JooSeok Song	Security and efficiency in authentication protocols resistant to password guessing attack.	LCN	1997	DBLP DOI BibTeX RDF	password guessing attack resistance, secret, user-chosen weak secret, security-oriented protocols, cipher operations, protocol steps, poorly-chosen weak secret protection, security, efficiency, cryptographic protocols, key exchange, message authentication, authentication protocols, secure communications, random numbers, dictionary attacks
22	Joseph E. Flaherty, Raymond M. Loy, P. C. Scully, Mark S. Shephard, Boleslaw K. Szymanski, James D. Teresco, Louis H. Ziantz	Load Balancing and Communication Optimization for Parallel Adaptive Finite Element Methods (Invited Paper).	SCCC	1997	DBLP DOI BibTeX RDF	predictive load balancing schemes, parallel adaptive finite element methods, finite element mesh data, processor load imbalances, adaptive enrichment steps, message passing library extension, a priori estimates, work load, enrichment efficiency, balancing time, compressible flow problems, predictive load balancing, IBM SP2 computer, transient solution, three dimensional Euler equations, parallel algorithms, load balancing, parallel computation, data structures, distributed storage, communication optimization, adaptive refinement, mesh adaptation
22	Ming-Syan Chen, Jeng-Chun Chen, Philip S. Yu	On General Results for All-to-All Broadcast.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	NODUP, expert propagation, communication steps, message passing, All-to-all broadcast
22	Mounir Marrakchi	An Optimal Parallel Algorithm for Gaussian Elimination.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF	2-steps graph, Gaussian elimination, Complexity analysis, Optimal parallel algorithm
22	Klaas Brink, Jan van Katwijk, W. J. Toetenel	Ada 95 as implementation vehicle for formal specifications.	RTCSA	1996	DBLP DOI BibTeX RDF	implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements
22	Jie Xu 0007, Brian Randell	Roll-forward error recovery in embedded real-time systems.	ICPADS	1996	DBLP DOI BibTeX RDF	roll-forward error recovery, checkpointing schemes, time-critical applications, checkpoint validation steps, fault-free processors, interaction-intensive applications, checkpoint validation, real-time systems, fault tolerant computing, distributed processing, multiprocessing systems, system recovery, embedded real-time systems
22	Yun Weng, Qiuming Zhu	Nonlinear Shape Restoration For Document Images.	CVPR	1996	DBLP DOI BibTeX RDF	Document restoration, Multi-Steps Restoration Algorithm, Image distortion, Linear Interpolation, Nonlinear transformation
22	Kannappan Palaniappan, Chandra Kambhamettu, Frederick Hasler, Dmitry B. Goldgof	Structure and Semi-Fluid Motion Analysis of Stereoscopic Satellite Images for Cloud Tracking.	ICCV	1995	DBLP DOI BibTeX RDF	atmospheric techniques, stereoscopic satellite images, cloud tracking, semi-fluid motion analysis, time-varying multispectral observations, meteorological satellites, cloud-top height estimation, cloud winds, stereo image pairs optical imaging remote sensing, atmosphere meteorology time steps, geostationary satellites, synchronized scanning instruments, automatic stereo analysis algorithm, massively parallel Maspar computer, time sequential dense estimates, cloud-top height depth maps, intensity data, motion correspondences, Interactive Image SpreadSheet, visible channel, tracking, motion estimation, parallel machines, remote sensing, clouds, data visualisation, stereo image processing, structure analysis, visualization tool, geophysical signal processing, stereo disparities, spreadsheet programs, wind
22	Claudia Fuchs, Wolfgang Förstner	Polymorphic Grouping for Image Segmentation.	ICCV	1995	DBLP DOI BibTeX RDF	polymorphic grouping, inherent deficiencies, low-level feature extraction, real scene complexity, stereo recognition, point extraction, segment extraction, feature adjacency graph, grouping steps, specific domain knowledge, optimal image description, geometric hypotheses validation, ideal image model, computer vision, image segmentation, image segmentation, feature extraction, object recognition, object recognition, stereo image processing, inconsistencies, robust estimation, estimation theory, cell-complex, line extraction, symbolic description, outdoor scenes, exoskeleton
22	Lee W. Campbell, Aaron F. Bobick	Recognition of Human Body Motion Using Phase Space Constraints.	ICCV	1995	DBLP DOI BibTeX RDF	phase space methods, human body motion recognition, phase space constraints, human body movements, body-centered coordinates, joint angles, Cartesian tracking data, movement representation, torso location, torso attitude, new movement learning, ground truth data, constraint searching, unsegmented data, fundamental classical ballet steps, dancers, unsegmented motion stream, computer vision, testing, tracking, motion estimation, training, image recognition, image representation, search problems, diagnostics, humanities, biomechanics, subspaces, constraint theory, space curves
22	Mark L. Manwaring, Veljko D. Malbasa, Kim H. Manwaring	Design by Documentation: A Method and Case Study.	CBMS	1995	DBLP DOI BibTeX RDF	design by documentation, dedicated computer systems, project design steps, intracranial pressure monitor, systems analysis, medical application, medical computing, system documentation
22	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
22	Serge J. Olszanskyj, James M. Lebak, Adam W. Bojanczyk	Parallel algorithms for space-time adaptive processing.	IPPS	1995	DBLP DOI BibTeX RDF	space-time adaptive processing, signal processing problem, IBM PowerParallel SP1 computer, simultaneous multiple least squares problem solving, multiple computational steps, optimal data distributions, parallel algorithms, parallel algorithms, parallel machines, least squares approximations, adaptive signal processing
22	Sergio Rajsbaum, Moshe Sidi	On the Performance of Synchronized Programs in Distributed Networks with Random Processing Times and Transmission Delays.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	randomprocessing times, synchronous network, message transmissiondelays, computational steps, probabilitydistributions, bottleneck processor, performance evaluation, parallel programming, compiler, distributed computing, synchronizer, graph theory, message passing, performance measure, synchronisation, program compilers, distributed networks, synchronized programs, processing times, asynchronous network, random variables, transmission delays, exponential distribution, marked graphs
22	Douglas W. Cornell, Philip S. Yu	On Optimal Site Assignment for Relations in the Distributed Database Environment.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	relation assignment, joint site determination, query decomposition, average response minimization, optimal site assignment, distributed database environment, joint operations, multiple sites, query descriptions, arrival frequency, relation steps, site assignments, linear integer programming technique, intersystem communication, balancing resource utilizations, information retrieval, linear programming, distributed databases, relations, heuristic programming, resource constraints, heuristic technique
22	Jop F. Sibeyn, Michael Kaufmann 0001, Rajeev Raman	Randomized Routing on Meshes with Buses.	ESA	1993	DBLP DOI BibTeX RDF	algorithms, parallel computation, lower bounds, meshes, randomization, coloring, packet routing, buses
21	William C. Klein	Seven steps to a better desk side manner.	SIGUCCS	2009	DBLP DOI BibTeX RDF	trust, tailoring, continuous improvement
21	Pedro J. Morcillo, Ginés Moreno	Modeling Interpretive Steps in Fuzzy Logic Computations.	WILF	2009	DBLP DOI BibTeX RDF	Aggregators, Fuzzy Logic Programming, Cost Measures
21	Biplav Srivastava	AutoSeek: A Method to Identify Candidate Automation Steps in IT Change Management.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
21	Niels Möller	Robust HGCD with No Backup Steps.	ICMS	2006	DBLP DOI BibTeX RDF
21	Yunho Lee, Kwang-Woo Lee, Seungjoo Kim, Dongho Won, Hyungkyu Yang	A Method for Deciding Quantization Steps in QIM Watermarking Schemes.	EUC Workshops	2005	DBLP DOI BibTeX RDF
21	David D. Woods, Richard I. Cook	Nine Steps to Move Forward from Error.	Cogn. Technol. Work.	2002	DBLP DOI BibTeX RDF	Failure in complex systems, Error, Patient safety
21	W. Lam, John A. McDermid, Andrew J. Vickers	Ten Steps Towards Systematic Requirements Reuse.	RE	1997	DBLP DOI BibTeX RDF
19	William McLean, Kassem Mustapha 0001	Convergence analysis of a discontinuous Galerkin method for a sub-diffusion equation.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Non-uniform time steps, Memory term, Finite elements
19	Xin Li	NSIS-Based Firewall Detection in Mobile IPv6.	ICN	2008	DBLP DOI BibTeX RDF	Next Steps in Signaling (NSIS), Firewall Detection, Firewall Traversal, Mobile IPv6
19	Russell A. Martin, Dana Randall	Sampling Adsorbing Staircase Walks Using a New Markov Chain Decomposition Method.	FOCS	2000	DBLP DOI BibTeX RDF	adsorbing staircase walks, Markov chain decomposition method, lattice paths, diagonal steps, local Markov chain, /spl lambda//sup /spl kappa//, Gibbs measure, first proof, statistical physics community, Markov chain, theorem proving, Markov processes, lambda calculus, state space, decomposition technique
19	C. Greg Plaxton, Rajmohan Rajaraman	Fast Fault-Tolerant Concurrent Access to Shared Objects.	FOCS	1996	DBLP DOI BibTeX RDF	fast fault-tolerant concurrent access, node communication, point-to-point messages, unreliable communication, message loss, local protocol, faulty network environment, hashing-based method, object request, expected steps, distributed computation, distributed memory systems, wide area networks, servers, distributed file systems, shared objects, link failures, words, object replication, synchronous model
19	George Miminis, Helmut Roth	Algorithm 747: A Fortran Subroutine to Solve the Eigenvalue Assignment Problem for Multiinput Systems Using State Feedback.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	double steps, eigenvalue assignment, pole assignment, deflation, numerical efficiency
19	Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF	Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages
19	Graham M. Megson	A Fast Faddeev Array.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	fast Faddeev array, Faddeev algorithm, inner product steps, half-arrays, triangularizations, on-the-fly decoupling, pivot row data, nearest neighbor connections, parallel algorithms, computational complexity, systolic array, systolic arrays, matrix algebra, matrix inversion, data duplications
19	Jeffrey R. Horowitz, Alfonso F. Cardenas	Decomposing Heterogeneous Inter-Entity Relationship Updates.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	heterogeneous inter-entity relationship, decomposing multilingual update requests, distributed heterogeneous databases, prototype views, network database, update decomposition, unified conceptual view, intermediate control language steps, information retrieval, relational databases, distributed databases, floorplan, joins, update rules
19	Yoh-Han Pao, Dejan J. Sobajic	Neural Networks and Knowledge Engineering.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	artificial neural net computing, localized decision rules, global rules, local processing steps, identical elemental processors, distributed processing, distributed processing, knowledge engineering, knowledge engineering, neural nets, heterogeneous networks, neurons
19	Mark G. Staskauskas	The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	electronic funds-transfer system, parallel programming methodology, refinement steps, parallel programming, data structure, specification, distributed processing, distributed architecture, UNITY, target architecture, EFT, EFTS
19	Dharma P. Agrawal, Ramesh C. Jain	A Pipelined Pseudoparallel System Architecture for Real-Time Dynamic Scene Analysis.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	SIMD and MIMD, Algorithmic steps, problem partitioning, pseudoparallelism, interconnection networks, pipelining, distributed control, interprocessor communication, real-time computation, dynamic scene analysis
19	Hossein Mansouri, Cornelis Roos	A new full-Newton step O(n) infeasible interior-point algorithm for semidefinite optimization.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 90C05, 90C51
19	Ilia Binder, Mark Braverman	The complexity of simulating Brownian Motion.	SODA	2009	DBLP DOI BibTeX RDF
19	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
19	Stavros Harizopoulos, Anastassia Ailamaki	Improving instruction cache performance in OLTP.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	Instruction cache, cache misses
19	Juan Manuel González-Calleros, Jean Vanderdonckt, Jaime Muñoz Arteaga	A Method For Developing 3D User Interfaces Of Information Systems.	CADUI	2006	DBLP DOI BibTeX RDF	Virtual reality, Model driven engineering, 3D user interfaces, Transformational approach, World model, Scene model
19	Yossi Matias, Ely Porat	Efficient Pebbling for List Traversal Synopses.	ICALP	2003	DBLP DOI BibTeX RDF
18	Yoonjung Hong, Jaesung Jo, Yoonhee Kim, Tek-Jin Nam	'STEPS': walking on the music, moving with light breathing.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	aesthetic user experience, wearable computing, connectivity, ambient intelligence, social interaction, interactive music system, calm technology
18	Julie A. Kientz, Rosa I. Arriaga, Gregory D. Abowd	Baby steps: evaluation of a system to support record-keeping for parents of young children.	CHI	2009	DBLP DOI BibTeX RDF	developmental delay, children, decision support, health, families, field trial, real world deployment
18	Hendrik Rohn, Bashar Ibrahim, Thorsten Lenser, Thomas Hinze, Peter Dittrich	Enhancing Parameter Estimation of Biochemical Networks by Exponentially Scaled Search Steps.	EvoBIO	2008	DBLP DOI BibTeX RDF
18	Atsuko K. Yamazaki, Kenji Goto, Hirokazu Taki, Satoshi Hori	An Effectiveness Study of Pictogram Elements for Steps in Manufacturing Procedures.	KES (3)	2008	DBLP DOI BibTeX RDF	manufacturing instructions, commu nication, comprehensibility, pictogram
18	Richard A. Waltz, José Luis Morales, Jorge Nocedal, Dominique Orban	An interior algorithm for nonlinear optimization that combines line search and trust region steps.	Math. Program.	2006	DBLP DOI BibTeX RDF
18	Jianying Zhou 0001, Jose Antonio Onieva, Javier López 0001	A Synchronous Multi-Party Contract Signing Protocol Improving Lower Bound of Steps.	SEC	2006	DBLP DOI BibTeX RDF
18	Marina Issakova	Learning Linear Equation Solving Algorithm and Its Steps in Intelligent Learning Environment.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
18	Bo Feng, Jizheng Xu, Feng Wu 0001, Shiqiang Yang, Shipeng Li 0001	Energy distributed update steps(edu) in lifting based motion compensated video coding.	ICIP	2004	DBLP DOI BibTeX RDF
18	André Neubauer 0002, Stefan Wolfsberger, Marie-Thérèse Forster, Lukas Mroz, Rainer Wegenkittl, Katja Bühler	STEPS - An Application for Simulation of Transsphenoidal Endonasal Pituitary Surgery.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	pituitary surgery, ray casting, virtual endoscopy, iso-surfacing
18	Reiji Suzuki, Takaya Arita	The Baldwin Effect Revisited: Three Steps Characterized by the Quantitative Evolution of Phenotypic Plasticity.	ECAL	2003	DBLP DOI BibTeX RDF
18	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Computing strongly connected components in a linear number of symbolic steps.	SODA	2003	DBLP BibTeX RDF
18	Koichi Miura, Reiko Hamada, Ichiro Ide, Shuichi Sakai, Hidehiko Tanaka	Associating Cooking Video Segments with Preparation Steps.	CIVR	2003	DBLP DOI BibTeX RDF
18	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
18	Arunas Augustinaitis, Rimantas Petrauskas	The First Steps of e-Governance in Lithuania: From Theory to Practice.	EGOV	2002	DBLP DOI BibTeX RDF
18	Alan F. Blackwell	First Steps in Programming: A Rationale for Attention Investment Models.	HCC	2002	DBLP DOI BibTeX RDF
18	Jiawang Nie, Ya-Xiang Yuan	A Predictor-Corrector Algorithm for QSDP Combining Dikin-Type and Newton Centering Steps.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	quadratic term, predictor step, corrector step, Dikin-type step, Newton centering step, potential function, semi-definite programming, central path
18	Michel Desvignes, Barbara Romaniuk, Régis Clouard, R. Demoment, Marinette Revenu, Marie-Josèphe Deshayes	First Steps toward Automatic Location of Landmarks on X-Ray Images.	ICPR	2000	DBLP DOI BibTeX RDF
18	Yinlei Yu, Jian Xu, Wei-Kang Huang, Fabrizio Lombardi	Minimizing the Number of Programming Steps for Diagnosis of Interconnect Faults in FPGAs.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	FPGA, Fault Diagnosis, Fault Detection
18	Hakim Kahlouche	STEPS: A Software Tool-set for automatEd Protocol Synthesis.	ICCCN	1997	DBLP DOI BibTeX RDF
18	Marián Vajtersic	Solving two modified discrete poisson equations in 7 logn steps on n2 processors.	CONPAR	1981	DBLP DOI BibTeX RDF