Search results for "Continuous"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jorma T. Virtamo, Ilkka Norros	Fluid queue driven by anM/M/1 queue.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Markov modulated rate process, continuous spectrum, Fluid queue
13	Stephen C. Glinski, David B. Roe	Spoken Language Recognition on a DSP Array Processor.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	speechrecognition, spoken language recognition, DSP array processor, real-time large-vocabulary speaker-independent continuous speech recognizers, multiplehigh-performance central processing units, high interprocessor communication bandwidth, feature extractor, mixture probability computer, state probability computer, word probability computer, phrase probability computer, traceback computer, multistage stack decoder, parallel architectures, partitioning, message passing, array processor, array signal processing, linear predictive coding, linear predictive coding
13	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
13	Gianfranco Ciardo, Reinhard German, Christoph Lindemann	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain
13	Giuseppe Visaggio	Process Improvement Through Data Reuse.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	structured planning, management tasks, banking systems, software maintenance, process model, software reusability, data reuse, DP management, bank data processing, data repository, maintenance processes, continuous process improvement, software houses, software house
13	Michael Daskalantonakis	Achieving Higher SEI Levels.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	higher SEI levels, SEI assessments, incremental assessments, higher maturity levels, progress-assessment process, internal tool, self-evaluation instrument, SEI CMM, worksheets, software quality, software metrics, Capability Maturity Model, Software Engineering Institute, Motorola, continuous process improvement
13	Kang G. Shin, Chao-Ju Hou	Analytic Models of Adaptive Load Sharing Schemes in Distributed Real-Time Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	decentralised load sharing, continuous time semiMarkov process, adaptive load sharing schemes, nonuniform task arrivals, dynamic load sharing, random selection, cumulative execution time, commonly-used queue length, Bayesian decision mechanism, probability ofdynamic failure, simulation, real-time systems, distributed processing, queueing theory, analytic models, decision theory, Bayes methods, distributed real-time systems, queuing models, performanceevaluation
13	Jean-Jules Brault, Rejean Plamondon	Segmenting Handwritten Signatures at Their Perceptually Important Points.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	handwritten signature segmentation, perceptually important points, continuous handwritten signatures, two-step procedure, image segmentation, optical character recognition
13	Dimitris N. Metaxas, Demetri Terzopoulos	Shape and Nonrigid Motion Estimation Through Physics-Based Synthesis.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	3D shape estimation, nonrigid motion estimation, physics-based synthesis, Lagrange equations of motion, continuous Kalman filtering theory, instantaneous uncertainties, Riccati procedure, flexible objects, tracking, motion estimation, Kalman filters, computer animation, matrix algebra, filtering and prediction theory, dynamic models, incomplete information, state estimation, state estimation, State estimation, model fitting, covariance matrix, articulated objects, geometric primitives
13	Li Wang 0003, Theodosios Pavlidis	Direct Gray-Scale Extraction of Features for Character Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	direct feature extraction, characteristic assembly, gray-scale extraction, continuous surface, topographic characteristics, feature extraction, optical character recognition, character recognition
13	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
13	Leonard Kleinrock, Jau-Hsiung Huang	On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Amdahl law, speedup result, general queuing, computer-communication systems, optimal job input, continuous model, parallel processing, power, queueing theory, operating systems (computers), optimal design, performance indices, computer communications software, parallel processing system, discrete model
13	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
13	Hong Jeong, Chang-Ik Kim	Adaptive Determination of Filter Scales for Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	adaptive scale determination, filter scales, adaptive scale parameter, continuous scale space, parallel relaxation algorithm, pattern recognition, picture processing, edge detection, filtering and prediction theory, energy function, optimal filter, regularization method
13	Hermann Ney	A Comparative Study of Two Search Strategies for Connected Word Recognition: Dynamic Programming and Heuristic Search.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	connected word recognition, continuous speech, finite state network, dynamic programming, dynamic programming, graph theory, speech recognition, heuristic search, search problems, heuristic programming, optimal path
13	Francis Y. L. Chin, Andrew Choi, Yuhua Luo	Optimal Generating Kernels for Image Pyramids by Piecewise Fitting.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	optimal generating kernels, mean square error minimization, piecewise fitting, intensity functions, continuous piecewise surfaces, polynomial tensor products, equal contribution properties, small window size, fast inverse transformation, minimum error, image processing, optimisation, symmetry, normalization, convolution, least squares approximations, image pyramids, unimodality
13	Anurag Gupta, Ian F. Akyildiz, Richard Fujimoto	Performance Analysis of Time Warp With Multiple Homogeneous Processors.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	interacting processors, Time Warp protocol, discrete-state, continuous-time Markov chain model, exponential task times, timestamp increments, event message, negligible rollback, unbounded message buffers, homogeneous processors, processed events, rollback probability, uncommitted processed events, Time Warp testbed, performance evaluation, protocols, discrete event simulation, Markov processes, performance measures, multiprocessing systems, shared-memory multiprocessor, parallel simulation, speedup, communication delay, virtual time, state saving, probability mass function, probability distribution function
13	Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura	Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	repair time, discrete-time stochastic Petri nets, scheduling, Petri nets, knowledge based systems, uncertainty, digital simulation, stochastic Petri nets, hierarchical structures, rule base, online scheduling, processing time, flexible manufacturing systems, flexible manufacturing systems, machine tools, continuous-time
13	Yifan Gong 0001, Jean Paul Haton	Signal-to-String Conversion Based on High Likelihood Regions Using Embedded Dynamic Programming.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	high likelihood regions, embedded dynamic programming, signal-to-string conversion, Pascal-like language, 100-word vocabulary, pattern recognition, dynamic programming, search, speech recognition, search problems, continuous speech recognition
13	Jaroslaw Milewski	Functional Data Structures as Updatable Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	continuous data copying, functional data structures, updatable objects, incremental structures, associated storage, shared structures, source program analysis, nondeterministic applications, parallel programming, data structures, functional programming, data dependencies, applicative programming, system programming
13	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
13	Behzad Shahraray, David J. Anderson	Optimal Estimation of Contour Properties by Cross-Validated Regularization.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	cross-validated regularization, continuous contours, smoothing spline approximations, pattern recognition, computer-vision, computer vision, robustness, parameter estimation, parameter estimation, computerised picture processing, computerised pattern recognition, occlusion, filtering and prediction theory, curvature
13	Jack Koplowitz, Alfred M. Bruckstein	Design of Perimeter Estimators for Digitized Planar Shapes.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	perimeter estimators, digitized planar shapes, arbitrary contours, continuous curvature, pattern recognition, design, computer vision, computer vision, optimisation, parameter estimation, computerised picture processing, computerised picture processing, computerised pattern recognition, shapes, estimation error
13	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
13	Wolfgang Borutzky	Combining Behavioral Block Diagram Modelling with Circuit Simulation.	EUROCAST	1989	DBLP DOI BibTeX RDF	mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems
13	G. R. Blakley	Information Theory Without the Finiteness Assumption, II: Unfolding the DES.	CRYPTO	1985	DBLP DOI BibTeX RDF	Caesar cipher, codomain, polyalphabet, ramp scheme, toroidal matrix, distributivity, composite, product, group, code, continuous, function, position, diffusion, associativity, discrete, message, relation, DES, ring, arithmetic, domain, matrix, galois field, substitution, symbol, commutativity, cryptosystem, replacement, field, vector space, universal algebra, threshold scheme, transposition, symmetric group, confusion, sum, cyclic group, alphabet
11	Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller	Report on the EDBT/ICDT 2010 workshop on updates in XML.	SIGMOD Rec.	2010	DBLP DOI BibTeX RDF
11	Roberto Sebastian Legaspi, Ken-ichi Fukui, Koichi Moriyama, Satoshi Kurihara, Masayuki Numao, Merlin Suarez	Addressing the problems of data-centric physiology-affect relations modeling.	IUI	2010	DBLP DOI BibTeX RDF	machine learning, pattern recognition, affective computing
11	Santanu Das, Bryan L. Matthews, Ashok N. Srivastava, Nikunj C. Oza	Multiple kernel learning for heterogeneous anomaly detection: algorithm and aviation safety case study.	KDD	2010	DBLP DOI BibTeX RDF	prognostics, prediction, anomaly detection, aeronautics
11	Zhengdao Xu, Hans-Arno Jacobsen	Processing proximity relations in road networks.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	constraint processing, location constraint, location-based services, publish/subscribe, road networks, location query
11	David Bartle, Samuel Rossoff, David Whittaker, Bruce Gooch, Kim Kerns, Jenny MacSween	Cognitive games as therapy for children with FAS.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
11	Juan Luis Fernández Martínez, Esperanza García Gonzalo	The PSO family: deduction, stochastic analysis and comparison.	Swarm Intell.	2009	DBLP DOI BibTeX RDF	PSO family, Stochastic stability analysis, Particle swarm optimization
11	Sylvain Mouret, Ignacio E. Grossmann, Pierre Pestiaux	Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program Using Constraint Programming.	CPAIOR	2009	DBLP DOI BibTeX RDF
11	Ming-Jun Lai, Bradley J. Lucier, Jingyue Wang	The Convergence of a Central-Difference Discretization of Rudin-Osher-Fatemi Model for Image Denoising.	SSVM	2009	DBLP DOI BibTeX RDF
11	Andreas Windisch	Search-based testing of complex simulink models containing stateflow diagrams.	ICSE Companion	2009	DBLP DOI BibTeX RDF
11	Qingfu Zhang 0001, Aimin Zhou, Yaochu Jin	RM-MEDA: A Regularity Model-Based Multiobjective Estimation of Distribution Algorithm.	IEEE Trans. Evol. Comput.	2008	DBLP DOI BibTeX RDF
11	Holger Boche, Volker Pohl	On the Calculation of the Hilbert Transform From Interpolated Data.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
11	Bo Liu 0009, Tianping Chen	Consensus in Networks of Multiagents With Cooperation and Competition Via Stochastically Switching Topologies.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	Xiaohai Sun	Distribution-Free Learning of Bayesian Network Structure.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF	independence tests, kernel methods, graphical models
11	Hisashi Kanda, Tetsuya Ogata, Kazunori Komatani, Hiroshi G. Okuno	Segmenting acoustic signal with articulatory movement using Recurrent Neural Network for phoneme acquisition.	IROS	2008	DBLP DOI BibTeX RDF
11	Brenna D. Argall, Brett Browning, Manuela M. Veloso	Learning robot motion control with demonstration and advice-operators.	IROS	2008	DBLP DOI BibTeX RDF
11	Masaaki Nagahara, Yutaka Yamamoto	Hybrid design of filtered-x adaptive algorithm via sampled-data control theory.	ICASSP	2008	DBLP DOI BibTeX RDF
11	Carla Piazza, Alberto Policriti	Systems Biology: Models and Logics.	ICLP	2008	DBLP DOI BibTeX RDF
11	Luca Bortolussi, Alberto Policriti	Hybrid Systems and Biology.	SFM	2008	DBLP DOI BibTeX RDF
11	David Gómez-Gutiérrez, Guillermo Ramírez-Prado, Antonio Ramírez-Treviño, José Javier Ruiz-León	Joint state-mode observer design for switched linear systems.	ETFA	2008	DBLP DOI BibTeX RDF
11	Olivier Bouissou, Matthieu Martel	Abstract Interpretation of the Physical Inputs of Embedded Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
11	Qingxiang Wu, David A. Bell, Girijesh Prasad, T. Martin McGinnity	A Distribution-Index-Based Discretizer for Decision-Making with Symbolic AI Approaches.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Data mining, machine learning, information theory, decision support
11	Weiming Hu, Ou Wu, Zhouyao Chen, Zhouyu Fu, Stephen J. Maybank	Recognition of Pornographic Web Pages by Classifying Texts and Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	pornographic texts, pornographic images, data fusion, recognition, Web pages
11	Youshen Xia, Mohamed S. Kamel	Cooperative Recurrent Neural Networks for the Constrained L1 Estimator.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
11	Andrew Hamilton-Wright, Daniel W. Stashuk, Hamid R. Tizhoosh	Fuzzy Classification Using Pattern Discovery.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
11	Eilverijus Kondratas, Igor Timko	CT-OLAP: temporal multidimensional data model and algebra for moving objects.	DOLAP	2007	DBLP DOI BibTeX RDF	sequenced queries, OLAP, temporal databases, moving objects, data warehousing, traffic management, aggregation queries, multidimensional databases
11	Cristiano Grijó Pitangui, Gerson Zaverucha	Improved natural crossover operators in GBIVIL.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams	Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.	HSCC	2007	DBLP DOI BibTeX RDF
11	Felix Breitenecker, Nikolas Popper	Structure of Simulation Systems for Structural-Dynamic Systems.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
11	Kang Sun, Xuezeng Pan, Lingdi Ping	A Reconfigurable Computing Engine for Wavelet Transforms.	IPDPS	2007	DBLP DOI BibTeX RDF
11	Yanif Ahmad, Ugur Çetintemel	Declarative temporal data models for sensor-driven query processing.	DMSN	2007	DBLP DOI BibTeX RDF
11	Rayner Alfred, Dimitar Kazakov	Discretization Numbers for Multiple-Instances Problem in Relational Database.	ADBIS	2007	DBLP DOI BibTeX RDF	Entropy-based, Multiple Instance, Genetic Algorithm, Discretization, Semi-supervised clustering
11	Georgios E. Fainekos, George J. Pappas	Robust Sampling for MITL Specifications.	FORMATS	2007	DBLP DOI BibTeX RDF
11	Thanaa M. Ghanem, Walid G. Aref, Ahmed K. Elmagarmid	Exploiting predicate-window semantics over data streams.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
11	Ravishankar Rao, Sarma B. K. Vrudhula	Energy-Optimal Speed Control of a Generic Device.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
11	Jeremy Sproston, Susanna Donatelli	Backward Bisimulation in Markov Chain Model Checking.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, Markov processes
11	Jamie A. Ward, Paul Lukowicz, Gerhard Tröster, Thad Starner	Activity Recognition of Assembly Tasks Using Body-Worn Microphones and Accelerometers.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	wearable computers and body area networks, classifier evaluation, Pervasive computing, industry
11	Char-Dir Chung	Spectrally Precoded OFDM.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
11	Guang-Bin Huang, Lei Chen 0009, Chee Kheong Siew	Universal approximation using incremental constructive feedforward networks with random hidden nodes.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
11	Thanaa M. Ghanem	Supporting Predicate-Window Queries in Data Stream Management Systems.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
11	Manindra Agrawal, Frank Stephan 0001, P. S. Thiagarajan, Shaofa Yang	Behavioural Approximations for Restricted Linear Differential Hybrid Automata.	HSCC	2006	DBLP DOI BibTeX RDF
11	Ion Chryssoverghi	Mixed Discretization-Optimization Methods for Nonlinear Elliptic Optimal Control Problems.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
11	J. Nicholas Laneman, Emin Martinian, Gregory W. Wornell, John G. Apostolopoulos	Source-channel diversity for parallel channels.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
11	Paula Severi, Fer-Jan de Vries	Continuity and Discontinuity in Lambda Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
11	Barry R. Cobb, Prakash P. Shenoy	Nonlinear Deterministic Relationships in Bayesian Networks.	ECSQARU	2005	DBLP DOI BibTeX RDF
11	Hiroyuki Ohsaki, Juñya Ujiie, Makoto Imase	On Scalable Modeling of TCP Congestion Control Mechanism for Large-Scale IP Networks.	SAINT	2005	DBLP DOI BibTeX RDF
11	Jérôme Durand-Lose	Abstract Geometrical Computation: Turing-Computing Ability and Undecidability.	CiE	2005	DBLP DOI BibTeX RDF	Analog model of computation, Turing universality, Cellular automata, Geometry, Abstract geometrical computation
11	Ioannis T. Christou	Load Balancing Issues in Super-Peer-based Publish/Subscribe Digital Libraries.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF
11	Gábor Lukács	A Convenient Subcategory of Tych.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	k R -space, Cartesian closed, Tychonoff functor, convenient category, k-space
11	Julia Chuzhoy, Sudipto Guha, Sanjeev Khanna, Joseph Naor	Machine Minimization for Scheduling Jobs with Interval Constraints.	FOCS	2004	DBLP DOI BibTeX RDF
11	Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar	Towards formal verification of analog designs.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Ismael R. de Farias Jr., George L. Nemhauser	A polyhedral study of the cardinality constrained knapsack problem.	Math. Program.	2003	DBLP DOI BibTeX RDF
11	David Berlinski	The Mathematics of Matter and the Mathematics of Mind.	HSCC	2003	DBLP DOI BibTeX RDF
11	Cris L. Luengo Hendriks, Lucas J. van Vliet	Basic Morphological Operations, Band-Limited Images and Sampling.	Scale-Space	2003	DBLP DOI BibTeX RDF
11	Jon May, M. J. Buehner, David J. Duke	Continuity in cognition.	Univers. Access Inf. Soc.	2002	DBLP DOI BibTeX RDF	Models, Design, Interaction, Cognition, Structure
11	Marie-Michèle Boulet, Faouzi Ben Jebara, Fathi Bemmira, Serge Boudreault	A comparison of three delivery systems for teaching an information technology course.	Commun. ACM	2002	DBLP DOI BibTeX RDF
11	Alla Sheffer, Eric de Sturler	Smoothing an overlay grid to minimize linear distortion in texture mapping.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	smoothing., texture mapping, triangulation, parameterization
11	Jean-Philippe P. Richard, Ismael R. de Farias Jr., George L. Nemhauser	Lifted Inequalities for 0-1 Mixed Integer Programming: Basic Theory and Algorithms.	IPCO	2002	DBLP DOI BibTeX RDF
11	Ismael R. de Farias Jr., George L. Nemhauser	A Polyhedral Study of the Cardinality Constrained Knapsack Problem.	IPCO	2002	DBLP DOI BibTeX RDF
11	Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm	Symbolic Simulation of Hybrid Systems.	APSEC	2002	DBLP DOI BibTeX RDF
11	Dick Hamlet	Continuity in sofware systems.	ISSTA	2002	DBLP DOI BibTeX RDF
11	Isabel Demongodin	Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, hybrid speed systems, modelling, performance analysis, supervisory control
11	Yoshimasa Tokuyama, Kouichi Konno	Reparameterization of piecewise rational Bezier curves and its applications.	Vis. Comput.	2001	DBLP DOI BibTeX RDF	Piecewise rational Bezier curve, Rational B-spline curve, Ruled, Skinning, Reparameterization
11	João Gama 0001	A Linear-Bayes Classifier.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
11	Bernard De Baets, János C. Fodor	Residual operators of uninorms.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Additive generator, contrapositivity, idempotent uninorm, representable uninorm, residual coimplicator, residual implicator, t -norm, uninorm, t -conorm
11	Paul Hudak	Functional Reactive Programming (Abstract).	ESOP	1999	DBLP DOI BibTeX RDF
11	Minsoo Ryu, Jungkeun Park, Seongsoo Hong	Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
11	Bertil R. R. Persson, Leif G. Salford, Arne Brun	Blood-brain barrier permeability in rats exposed to electromagnetic fields used in wireless communication.	Wirel. Networks	1997	DBLP DOI BibTeX RDF
11	Pieter J. Mosterman, Feng Zhao 0001, Gautam Biswas	Sliding Mode Model Semantics and Simulation for Hybrid Systems.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
11	Reinhold Heckmann, Michael Huth 0001	A Duality Theory for Quantitative Semantics.	CSL	1997	DBLP DOI BibTeX RDF
11	Marco Maggini	Recursive Neural Networks and Automata.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
11	Ping Wah Wong	Adaptive error diffusion and its application in multiresolution rendering.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
11	Krishnamoorthy Sivakumar, John K. Goutsias	Binary random fields, random closed sets, and morphological sampling.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
11	Mark R. Greenstreet	Verifying Safety Properties of Differential Equations.	CAV	1996	DBLP DOI BibTeX RDF
11	Teresa W. Bleser, John L. Sibert, J. Patrick McGee	Charcoal sketching: returning control to the artist.	ACM Trans. Graph.	1988	DBLP DOI BibTeX RDF