Search results for "dependent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	F. Keith Hanna, Neil Daeche, Mark Longley	Specification and Verification Using Dependent Types.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic
22	Xiao Peng 0001, Prahlad Vadakkepat, Tong Heng Lee	Context-Dependent DNA Coding With Redundancy and Introns.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
22	Zhi Zheng 0007, Edmond C. Prakash, Tony K. Y. Chan	Interactive View-Dependent Rendering over Networks.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
22	Hiroshi Unno 0001, Naoki Kobayashi 0001	On-Demand Refinement of Dependent Types.	FLOPS	2008	DBLP DOI BibTeX RDF
22	Tomoya Kawakami, Susumu Takeuchi, Yuuichi Teranishi, Kaname Harumoto, Shinji Shimojo	A P2P-Based Mechanism for Managing Location-Dependent Contents in Ubiquitous Environments.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
22	Hung-Hsu Tsai, Ji-Shiung Cheng	Adaptive Signal-Dependent Audio Watermarking Based on Human Auditory System and Neural Networks.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	audio authentication, human auditory system, neural networks, data hiding, audio watermarking
22	Peter Geibel, Fritz Wysotzki	Learning Perceptrons and Piecewise Linear Classifiers Sensitive to Example Dependent Costs.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	neural networks, classification, learning, costs, risk, perceptron
22	Xiumei Jia, Jia-Huai You, Li-Yan Yuan	Adding Domain Dependent Knowledge into Answer Set Programs for Planning.	ICLP	2004	DBLP DOI BibTeX RDF
22	Anke Meyer-Bäse, Fabian J. Theis, Oliver Lange, Carlos García Puntonet	Tree-Dependent and Topographic Independent Component Analysis for fMRI Analysis.	ICA	2004	DBLP DOI BibTeX RDF
22	Giacomo Cabri, Letizia Leonardi, Franco Zambonelli	Engineering Mobile Agent Applications via Context-Dependent Coordination.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Mobility, middleware, context-awareness, agents, coordination, Internet computing
22	Shinsuke Nakajima, Satoshi Oyama, Kazutoshi Sumiya, Katsumi Tanaka	Context-Dependent Web Bookmarks and Their Usage as Queries.	WISE	2002	DBLP DOI BibTeX RDF
22	Fedor V. Fomin, Andrzej Lingas	Approximation Algorithms for Time-Dependent Orienteering.	FCT	2001	DBLP DOI BibTeX RDF
22	David A. Kearney	Theoretical Limits on the Data Dependent Performance of Asynchronous Circuits.	ASYNC	1999	DBLP DOI BibTeX RDF
22	Andreas Kosmala, Jörg Rottland, Gerhard Rigoll	Improved On-Line Handwriting Recognition Using Context Dependent Hidden Markov Models.	ICDAR	1997	DBLP DOI BibTeX RDF
22	John Zahorjan, Edward D. Lazowska	Incorporating Load Dependent Servers in Approximate Mean Value Analysis.	SIGMETRICS	1984	DBLP DOI BibTeX RDF
22	Jonathan T.-Y. Chang, Chao-Wen Tseng, Chien-Mo James Li, Mike Purtell, Edward J. McCluskey	Analysis of pattern-dependent and timing-dependent failures in an experimental test chip.	ITC	1998	DBLP DOI BibTeX RDF
21	Dong Tang, Ravishankar K. Iyer	Analysis and Modeling of Correlated Failures in Multicomputer Systems.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	correlated failures, DEC VAX-cluster, c-dependent model, p-dependent model, fault tolerant computing, dependability, multiprocessing systems, computation theory, multicomputer systems, shared resources
21	Vinod K. Agarwal, Gerald M. Masson	Resolution-Oriented Fault Interrelationships in Combinational Logic Networks.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Boolean difference, combinational logic networks, complete masking, fault dependent Boolean difference, fault dependent testing, fault interrelationships, fault resolution, multiple fault analysis, unresolvability, functional equivalence
20	Katrin Witting, Bernd Schulz, Michael Dellnitz, Joachim Böcker, Norbert Fröhleke	A new approach for online multiobjective optimization of mechatronic systems.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Multiobjective online optimization, Time-dependent Pareto sets, Numerical path following methods, Linear motor, Operating point assignment, Decision making, Self-optimization
20	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
20	Paul Klint, Ralf Lämmel, Chris Verhoef	Toward an engineering discipline for grammarware.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	generic language technology, grammar-dependent software, software evolution, model-driven development, metamodeling, grammars, best practices, parsers, software transformation, automated software engineering, language processing, Grammarware
20	Adrian Parkinson, James A. Redmond, Cathal Walsh	Accommodating field-dependence: a cross-over study.	ITiCSE	2004	DBLP DOI BibTeX RDF	GEFT, cross-over design, field-dependent, field-independent, performance, measurement, human factors, interface design, experimentation, cognitive styles, learning performance
20	Jan Friso Groote, Tim A. C. Willemse	A Checker for Modal Formulae for Processes with Data.	FMCO	2003	DBLP DOI BibTeX RDF	First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL
20	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
20	Rangasami L. Kashyap, Liwu Chang	Study of interval belief combination.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	Belief combination, conflicting evidence, dependent evidence, interval belief
20	William A. Massey, Ward Whitt	Networks of infinite-server queues with nonstationary Poisson input.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	Nonstationary queues, time-dependent arrival rates, Poisson random measures, stochastic compartmental models, Poisson-arrivallocation model, dependence among queue lengths at different times, queueing networks, infinite-server queues
20	Domingo Martín, Germán Arroyo, María Victoria Luzón, Tobias Isenberg 0001	Example-Based Stippling using a Scale-Dependent Grayscale Process.	NPAR	2010	DBLP DOI BibTeX RDF	example-based techniques, high-quality rendering, scale-dependent NPR, illustrative visualization, stippling
20	Reza Tavakkoli-Moghaddam, M. Khalili, B. Naderi 0001	A hybridization of simulated annealing and electromagnetic-like mechanism for job shop problems with machine availability and sequence-dependent setup times to minimize total weighted tardiness.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Machine availability constraints, Electromagnetism-like mechanism, Hybrid meta-heuristic method, Simulated annealing, Job shop, Sequence-dependent setup times
20	Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary	Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.	PEPM	2009	DBLP DOI BibTeX RDF	static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination
20	Mary Magdalene Jane F., Ilayaraja N., Ashwin Raghav M., R. Nadarajan, Maytham Safar	Entry and exit probabilities based cache replacement policy for location dependent data in mobile environments.	MoMM	2009	DBLP DOI BibTeX RDF	location-dependent information services, performance evaluation, mobile computing, cache replacement
20	Bingjun Zhang, Qiaoliang Xiang, Huanhuan Lu, Jialie Shen 0001, Ye Wang 0007	Comprehensive query-dependent fusion using regression-on-folksonomies: a case study of multimodal music search.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	multimodal search, query-dependent fusion, music, folksonomy
20	Hiroshi Unno 0001, Naoki Kobayashi 0001	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
20	Christian Artigues, Dominique Feillet	A branch and bound method for the job-shop problem with sequence-dependent setup times.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Dynamic programming, Branch and bound, Constraint propagation, Job-shop scheduling, Sequence-dependent setup times
20	Sachin S. Talathi, Dong-Uk Hwang, William L. Ditto	Spike timing dependent plasticity promotes synchrony of inhibitory networks in the presence of heterogeneity.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Inhibitory synapses, Networks, Synchronization, Heterogeneity, Spike timing dependent plasticity
20	Ken C. K. Lee, Josh Schiffman, Baihua Zheng, Wang-Chien Lee	Valid scope computation for location-dependent spatial query in mobile broadcast environments.	CIKM	2008	DBLP DOI BibTeX RDF	location-dependent spatial query, valid scope, data broadcast
20	Yann Disser, Matthias Müller-Hannemann, Mathias Schnee	Multi-criteria Shortest Paths in Time-Dependent Train Networks.	WEA	2008	DBLP DOI BibTeX RDF	time-dependent graphs, case study, shortest paths, multi-criteria optimization, speed-up techniques
20	Michael Backes 0001, Markus Dürmuth, Dominique Unruh	OAEP Is Secure under Key-Dependent Messages.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	Key-dependent message security, RSA-OAEP, chosen ciphertext attacks
20	Guangjun Xie, Lu Qi, Feng Wang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010	ESnapII: A Writable Dependent Snapshot System with Shared Cache.	SNPD	2008	DBLP DOI BibTeX RDF	dependent snapshot, LVM, metadata management
20	Yukiyasu Tsunoo, Teruo Saito, Hiroyasu Kubo, Tomoyasu Suzaki	Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box.	ICICS	2008	DBLP DOI BibTeX RDF	key-dependent S-box, Mir-1, stream cipher, eSTREAM, key recovery attack
20	Naoki Masuda, Hiroshi Kori	Formation of feedforward networks and frequency synchrony by spike-timing-dependent plasticity.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Synchronization, Complex networks, Spike-timing-dependent plasticity, Feedforward networks
20	Silvio A. de Araujo, Marcos Nereu Arenales, Alistair R. Clark	Joint rolling-horizon scheduling of materials processing and lot-sizing with sequence-dependent setups.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Sequence-dependent setup costs and times, Fix-and-relax, Scheduling, Local search, Lot-sizing
20	Shai Halevi, Hugo Krawczyk	Security under key-dependent inputs.	CCS	2007	DBLP DOI BibTeX RDF	circular encryption, key-dependent input, self encryption
20	Rei Yoshida, Rie Shigetomi, Kazuki Yoshizoe, Akira Otsuka, Hideki Imai	A Privacy Protection Scheme for a Scalable Control Method in Context-Dependent Services.	WEWoRC	2007	DBLP DOI BibTeX RDF	Context-dependent Service, Randomized Response Technique, Privacy Protection
20	Wolfgang Bziuk	Uniform Approximations for Multirate Loss Systems with State Dependent Arrival Rates.	ITC	2007	DBLP DOI BibTeX RDF	Multirate Loss System, Complete Sharing, State Dependent Arrival Rates, Uniform Approximation
20	Ajey Kumar, Manoj Misra, Anil Kumar Sarje	A weighted cache replacement policy for location dependent data in mobile environments.	SAC	2007	DBLP DOI BibTeX RDF	mobile computing, cache replacement, location dependent data
20	Yan-En Wang, Sheng-Min Wei, Xiu-Tian Yan 0001, Qingfeng Zeng	Integrating Domain Dependent Tools in Artificial Bone Scaffolds Design.	CDVE	2007	DBLP DOI BibTeX RDF	domain dependent tools, artificial bone scaffolds, Integration
20	Ivica Kopriva	Blind Signal Deconvolution as an Instantaneous Blind Separation of Statistically Dependent Sources.	ICA	2007	DBLP DOI BibTeX RDF	Instantaneous mixture model, Statistically dependent sources, Independent component analysis, Blind source separation, Blind deconvolution
20	Xiaoli Ren, Lu Liu, Chenggong Lv	An Object-Dependent and Context Constraints-Aware Access Control Approach Based on RBAC.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Context constraints, Role-based access control, Security policy, SoD, Object-dependent
20	Conor McBride	What's the deal with dependent types?	TLDI	2007	DBLP DOI BibTeX RDF	epigram, pattern matching, dependent types
20	Jörg Weber, Franz Wotawa	Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Dependent Failures, Monitoring, Model-based Reasoning, Model-based Diagnosis
20	Abdallah Mhamed, Cecilia Fred, Arab Farah	An Authentication Architecture Dedicated to Dependent People in Smart Environments.	ICOST	2007	DBLP DOI BibTeX RDF	dependent people, security, authentication, Pervasive computing, biometrics, user profile, smart home
20	Andreas Krause 0001, Asim Smailagic, Daniel P. Siewiorek	Context-Aware Mobile Computing: Learning Context-Dependent Personal Preferences from a Wearable Sensor Array.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	wearable AI, machine learning, mobile computing, wearable computers, statistical models, Location-dependent and sensitive
20	M. Yamanaka, G. Tsuchida, Susumu Ishihara	A replica distrubution scheme for location-dependent information on vehicular ad hoc networks.	Vehicular Ad Hoc Networks	2006	DBLP DOI BibTeX RDF	replica dissemination, data sharing, intersection, geocasting, location-dependent data
20	Yu Gao, Baosong Deng, Lingda Wu	Efficient view-dependent out-of-core rendering of large-scale and complex scenes.	VRCIA	2006	DBLP DOI BibTeX RDF	hierarchical level of detail (HLOD), out-of-core rendering, view frustum culling, view-dependent refinement
20	Jianwei Zhang 0006, Yizheng Ye, Bin-Da Liu	A new mismatch-dependent low power technique with shadow match-line voltage-detecting scheme for CAMs.	ISLPED	2006	DBLP DOI BibTeX RDF	mismatch-dependent, voltage detecting, low power, high speed, CAM
20	Farooq Anjum	Location dependent key management using random key-predistribution in sensor networks.	Workshop on Wireless Security	2006	DBLP DOI BibTeX RDF	location dependent, sensor networks, key management
20	Jack Brimberg, Saïd Salhi	A Continuous Location-Allocation Problem with Zone-Dependent Fixed Cost.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	zone-dependent, fixed cost, plant location, continuous space
20	Christian Artigues, Pierre Lopez, Pierre-Dimitri Ayache	Schedule Generation Schemes for the Job-Shop Problem with Sequence-Dependent Setup Times: Dominance Properties and Computational Analysis.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	schedule generation scheme, dominance properties, priority rules, job-shop, scheduling theory, sequence-dependent setup times
20	Ismael García-Varea, Francisco Casacuberta	Maximum Entropy Modeling: A Suitable Framework to Learn Context-Dependent Lexicon Models for Statistical Machine Translation.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	context-dependent lexicon models, statistical machine translation, maximum entropy modeling
20	Yuanchen Zhu	Uniform Remeshing with an Adaptive Domain: A New Scheme for View-Dependent Level-of-Detail Rendering of Meshes.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	view-dependent meshes, Level-of-detail, remeshing, multiresolution representation, frame-to-frame coherence
20	Xing Gao, Ali R. Hurson	Location dependent query proxy.	SAC	2005	DBLP DOI BibTeX RDF	validity region, caching, proxy, location dependent query
20	Damien Porquet, Jean-Michel Dischler, Djamchid Ghazanfarpour	Real-time high-quality View-Dependent Texture Mapping using per-pixel visibility.	GRAPHITE	2005	DBLP DOI BibTeX RDF	View-Dependent Texture Mapping, image-based rendering, graphics hardware, real-time rendering
20	Jun-Yup Kim, Seung-Hwan Kim 0001, Yo-Sung Ho	A Frame-Layer Rate Control Algorithm for H.264 Using Rate-Dependent Mode Selection.	PCM (2)	2005	DBLP DOI BibTeX RDF	H.264 video coding, Rate-dependent mode selection, Rate control
20	Georg N. Krieg, Heinrich Kuhn	Analysis of Multi-Product Kanban Systems with State-Dependent Setups and Lost Sales.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	production-inventory system, multi-product system, state-dependent setups, performance evaluation, decomposition, kanban
20	Christoph Garth, Xavier Tricoche, Gerik Scheuermann	Tracking of Vector Field Singularities in Unstructured 3D Time-Dependent Datasets.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	topology tracking, time-dependent datasets, vortex breakdown, flow visualization
20	Li Tao, Vijayan K. Asari	An Integrated Neighborhood Dependent Approach for Nonlinear Enhancement of Color Images.	ITCC (2)	2004	DBLP DOI BibTeX RDF	luminance space, dynamic range compression, pixel based modeling, neighborhood dependent adjustment, image enhancement, contrast enhancement
20	Magnús M. Halldórsson, Guy Kortsarz, Hadas Shachnai	Sum Coloring Interval and k-Claw Free Graphs with Application to Scheduling Dependent Jobs.	Algorithmica	2003	DBLP DOI BibTeX RDF	Sum Coloring, Scheduling dependent jobs, Approximation algorithms, Multicoloring
20	Daniel I. Azuma, Daniel N. Wood, Brian Curless, Tom Duchamp, David Salesin, Werner Stuetzle	View-dependent refinement of multiresolution meshes with subdivision connectivity.	Afrigraph	2003	DBLP DOI BibTeX RDF	wavelets, level-of-detail, multiresolution representations, view-dependent refinement
20	Nicolas Fiétier, Michel O. Deville	Simulations of Time-Dependent Flows of Viscoelastic Fluids with Spectral Element Methods.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	viscoelastic fluids, time dependent flows, spectral element
20	Il-dong Jung, Young-ho You, Jonghwan Lee, Kyongsok Kim	Broadcasting and caching policies for location-dependent queries in urban areas.	Workshop Mobile Commerce	2002	DBLP DOI BibTeX RDF	caching policy, energy conservation, mobile databases, location-dependent query, broadcast scheme
20	Baolin Yang, Joel R. Phillips	Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method.	DAC	2002	DBLP DOI BibTeX RDF	RF circuit simulation, frequency dependent, S parameter
20	Waiman Cheung, Hong Zhou 0002	Using Genetic Algorithms and Heuristics for Job Shop Scheduling with Sequence-Dependent Setup Times.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	genetic algorithm and heuristic, scheduling, job shop, sequence-dependent setup time
20	Enrico Vicario	Static Analysis and Dynamic Steering of Time-Dependent Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Time-dependent systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets, hard real-time systems
20	Anthony G. Nguyen, Jenq-Neng Hwang	Scene context dependent rate control.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	constant bit rate (CBR), rate control (RC), scene context dependent (SCD), variable bit rate (VBR)
20	Elisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen	Deadline dependent coding-a framework for wireless real-time communication.	RTCSA	2000	DBLP DOI BibTeX RDF	deadline dependent coding, wireless real-time communication, DDC protocol, quality of service, real-time systems, encoding, decoding, real-time communication, automatic repeat request, automatic repeat request, wireless channel, block codes, block codes, soft decision decoding, quality of service parameters
20	Christoph Liebig, Mariano Cilia, Alejandro P. Buchmann	Event Composition in Time-dependent Distributed Systems.	CoopIS	1999	DBLP DOI BibTeX RDF	distributed active systems, time-dependent distributed systems, distributed event composition, event time stamping
20	Serguei Foss, Natalia Chernova	On the stability of a partially accessible multi-station queue with state-dependent routing.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	customer class, state-dependent routing, stability, Markov chain, fluid limit, multi-server queue
20	David A. Kearney, Neil W. Bergmann	Bundled Data Asynchronous Multipliers with Data Dependent Computation Times.	ASYNC	1997	DBLP DOI BibTeX RDF	asynchronous logic data dependent performance multiplier
20	Alessio Gaspar, Philippe Collard	Time Dependent Optimization with a Folding Genetic Algorithm.	ICTAI	1997	DBLP DOI BibTeX RDF	Time Dependent Optimization, meta-genes, Genetic Algorithms
20	Spyros G. Tzafestas, Alekos Triantafyllakis, George Rizos	Scheduling dependent tasks on identical machines using a novel heuristic criterion: A robotic computation example.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	dependent tasks, makespan criterion, list scheduling algorithms, heuristic algorithms, Scheduling problems, dispatching rules
20	Ignacio Martín Llorente, Juan Carlos Fabero, Francisco Tirado, Alfredo Bautista	Distributed parallel computers versus PVM on a workstation cluster in the simulation of time dependent partial differential equations.	PDP	1995	DBLP DOI BibTeX RDF	Schrodinger equation, parallel numerical simulation, Schrodinger equation, message passing parallel machine, Sparc-stations, performance evaluation, parallel algorithms, parallel computing, partial differential equations, PVM, workstation cluster, finite difference method, wave equations, large-scale problems, time dependent, distributed parallel computers
20	Hsing Mei	Scheduling dependent real-time multimedia tasks on distributed systems.	COMPSAC	1995	DBLP DOI BibTeX RDF	real-time multimedia task scheduling, periodic dependent real-time multimedia tasks, Multimedia Task Graph model, system reward value, scheduling, Quality of Services, distributed systems, real-time systems, resource allocation, distributed processing, software quality, synchronisation, processor scheduling, deadlines, multimedia computing, execution time, average response time, synchronization methods
20	Julian Keilson, Leslie D. Servi	The M/G/1/K blocking formula and its generalizations to state-dependent vacation systems and priority systems.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	finite capacity systems, state-dependent schedules, priority systems, Blocking probabilities
20	David M. Ogle, Karsten Schwan, Richard T. Snodgrass	Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
20	Ian F. Akyildiz, Albrecht Sieber	Approximate Analysis of Load Dependent General Queueing Networks.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	load-dependent, service-time distributions, conditional throughputs, tolerance level, scheduling, scheduling, performance evaluation, performance evaluation, queueing theory, queueing networks
19	Vishvjit S. Nalwa	Line-drawing interpretation: A mathematical framework.	Int. J. Comput. Vis.	1988	DBLP DOI BibTeX RDF
19	Radko Mesiar, Andrea Mesiarová-Zemánková, Khurshid Ahmad 0001	Level-Dependent Sugeno Integral.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
19	Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif	Robust speech recognition using evolutionary class-dependent LDA.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	mfcc, particle swarm optimization, speech recognition, linear discriminate analysis, harmony search, transformation matrix
19	Marcello M. Bonsangue, Dave Clarke 0001, Alexandra Silva 0001	Automata for Context-Dependent Connectors.	COORDINATION	2009	DBLP DOI BibTeX RDF
19	Eric Bodden, Feng Chen 0006, Grigore Rosu	Dependent advice: a general approach to optimizing history-based aspects.	AOSD	2009	DBLP DOI BibTeX RDF	compilation, domain-specific languages, runtime verification, static program analysis
19	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
19	Daniel Delling	Time-Dependent SHARC-Routing.	ESA	2008	DBLP DOI BibTeX RDF
19	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
19	Bolin Ding, Jeffrey Xu Yu, Lu Qin 0001	Finding time-dependent shortest paths over large graphs.	EDBT	2008	DBLP DOI BibTeX RDF
19	Christophe De Vleeschouwer, Pascal Frossard	Dependent Packet Transmission Policies in Rate-Distortion Optimized Media Scheduling.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
19	Huai-Ning Wu, Han-Xiong Li	New Approach to Delay-Dependent Stability Analysis and Stabilization for Continuous-Time Fuzzy Systems With Time-Varying Delay.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
19	Meng Chen, Gang Feng 0001, Haibo Ma	A Delay-Dependent Approach to H-infinity Filtering for Fuzzy Time-Varying Delayed Systems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
19	Nicolas Oury	Pattern matching coverage checking with dependent types using set approximations.	PLPV	2007	DBLP DOI BibTeX RDF	coverage checking, set approximation, pattern matching
19	Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula	Dependent Types for Low-Level Programming.	ESOP	2007	DBLP DOI BibTeX RDF
19	Xiaojun Ding, Junichi Iijima	Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness.	GCC	2007	DBLP DOI BibTeX RDF