Search results for "dependent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Manuel E. Benitez, Jack W. Davidson	The Advantages of Machine-Dependent Global Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
15	Ugo Montanari, Francesca Rossi 0001	Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.	CAAP	1992	DBLP DOI BibTeX RDF
15	Anthony E. Krzesinski, J. Greyling	Improved Lineariser Methods for Queueing Networks with Queue Dependent Centres.	SIGMETRICS	1984	DBLP DOI BibTeX RDF	Product from solutions, Error analysis, Mean value analysis, Approximate solutions, Multiclass queueing networks
15	Kenneth Lloyd Rider	A Simple Approximation to the Average Queue Size in the Time-Dependent M/M/1 Queue.	J. ACM	1976	DBLP DOI BibTeX RDF
15	Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller 0003	Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems.	ASP-DAC	2009	DBLP DOI BibTeX RDF
15	Javier R. Saeta, Javier Hernando	Weighting Scores to Improve Speaker-Dependent Threshold Estimation in Text-Dependent Speaker Verification.	NOLISP	2005	DBLP DOI BibTeX RDF
14	Nesrine Ouferhat, Abdelhamid Mellouk	Inductive routing based on energy and delay metrics in wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	multi criteria routing optimization, state dependent algorithm, QoS, Delay, energy consumption
14	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
14	Stefan Monnier, David Haguenauer	Singleton types here, singleton types there, singleton types everywhere.	PLPV	2010	DBLP DOI BibTeX RDF	dependent types, certified compilation, singleton types
14	Stephanie Weirich, Chris Casinghino	Arity-generic datatype-generic programming.	PLPV	2010	DBLP DOI BibTeX RDF	agda, arity-generic programming, generic haskell, dependent types
14	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
14	Yuta Yoshiike, Yuto Yamaji, Taisuke Miyake, P. Ravindra S. De Silva, Michio Okada	Sociable trash box.	HRI	2010	DBLP DOI BibTeX RDF	child-dependent robot, sociable trash box, social rapport
14	G. G. Somjen, H. Kager, Wytse J. Wadman	Calcium sensitive non-selective cation current promotes seizure-like discharges and spreading depression in a model neuron.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Calcium depletion, Calcium dependent current, Non-specific cation current, Seizure mechanisms, Spreading depression, Epilepsy
14	Min Zhao, Ning Li 0008, Shaoyuan Li	Min-max model predictive control for constrained nonlinear systems via multiple LPV embeddings.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	constrained nonlinear systems, LPV embedding, parameter dependent Lyapunov function, predictive control, LMI
14	René Berndt, Sven Havemann, Dieter W. Fellner	3D modeling in a web browser to formulate content-based 3D queries.	Web3D	2009	DBLP DOI BibTeX RDF	3D search interfaces, domain-dependent modeling tools, rapid shape design, generative modeling, GML
14	Sara Rodríguez 0001, Juan Francisco de Paz, Javier Bajo, Dante I. Tapia, Belén Pérez Lancho	Stereo-MAS: Multi-Agent System for Image Stereo Processing.	IWANN (1)	2009	DBLP DOI BibTeX RDF	MAS, agents, correspondence analysis, Stereoscopy, stereo cameras, artificial vision, dependent environments
14	Mengchi Liu, Jie Hu 0006	Information Networking Model.	ER	2009	DBLP DOI BibTeX RDF	complex relationships, context-dependent representation, information modeling, semantic data model
14	Qiufeng Cai, Jianjiang Yu	Further Stability Analysis for Neural Networks with Time-Varying Interval Delay.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Lyapunov-Krasovskii functional, Delay-dependent, Time-varying interval delay, Neural networks (NNs)
14	Andrei Sherstyuk, Anton Treskunov	Dynamic light amplification for immersive environment rendering.	VRCAI	2009	DBLP DOI BibTeX RDF	improved HMD response, view-dependent lighting
14	Ivan A. Mikhailov, Artëm E. Masunov	Theoretical Photochemistry of the Photochromic Molecules Based on Density Functional Theory Methods.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Time Dependent Density Functional Theory, Photochromism, Photoswitching, Optical Data Storage, Double excited state, Theoretical Photochemistry, Two-photon Absorption, Rational Materials design
14	Akos Vetek, John A. Flanagan, Ashley Colley, Tuomas Keränen	SmartActions: Context-Aware Mobile Phone Shortcuts.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	context-dependent systems, adaptive interfaces, Mobile interfaces
14	Benny Applebaum, David Cash, Chris Peikert, Amit Sahai	Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems.	CRYPTO	2009	DBLP DOI BibTeX RDF	Key-dependent message security, Learning problems, Encryption, Lattice-based cryptography
14	Juan A. Fraile, Dante I. Tapia, Sara Rodríguez 0001, Juan M. Corchado	Agents in Home Care: A Case Study.	HAIS	2009	DBLP DOI BibTeX RDF	Hybrid Multiagent Systems, Home Care, Dependent environments
14	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
14	Annamaria Barbagallo	Regularity results for evolutionary nonlinear variational and quasi-variational inequalities with applications to dynamic equilibrium problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Traffic equilibrium problems, Time-dependent variational and quasi-variational inequalities, Continuity of solutions, Mosco’s convergence
14	Abigail Morrison, Markus Diesmann, Wulfram Gerstner	Phenomenological models of synaptic plasticity based on spike timing.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Simulation, Modeling, Learning, Spike-timing dependent plasticity, Short term plasticity
14	Ji Eun Kim, Rahul Kapoor, Martin Herrmann, Jochen Härdtlein, Franz Grzeschniok, Peter Lutz	Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development.	ISORC	2008	DBLP DOI BibTeX RDF	Signal Flows, Mode Dependent Signal Flows, Component Based Software Development, Real-Time Embedded Systems, Software Behavior
14	Evangelos Kranakis, Michel Paquette, Andrzej Pelc	Communication in Random Geometric Radio Networks with Positively Correlated Random Faults.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	dependent faults, crash faults, geometric radio network, Fault-tolerance, broadcast, random
14	Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff	Constrained types for object-oriented languages.	OOPSLA	2008	DBLP DOI BibTeX RDF	constraints, dependent types, object-oriented programming languages
14	Hua Wang, Villy Bæk Iversen	Teletraffic Performance Analysis of Multi-class OFDM-TDMA Systems with AMC.	EuroNGI Workshop	2008	DBLP DOI BibTeX RDF	AMC, state-dependent blocking, performance evaluation, OFDM
14	Tao Li 0024, Xiaoling Ye, Yingchao Zhang	Stability Criteria with Less Variables for Neural Networks with Time-Varying Delay.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Delay-dependent, Neural networks, Linear matrix inequality (LMI), Asymptotic stability
14	Nicolas Oury, Wouter Swierstra	The power of Pi.	ICFP	2008	DBLP DOI BibTeX RDF	domain-specific embedded languages, dependent types
14	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
14	Tudor Barbu, Mihaela Costin	Various Speaker Recognition Techniques Using a Special Nonlinear Metric.	KES (3)	2008	DBLP DOI BibTeX RDF	text-dependent speaker recognition, text-independent speaker recognition, mel-cepstral analysis, supervised classification
14	Zhi Zhou, Yonghong Tian 0001, Yuanning Li, Tiejun Huang 0001, Wen Gao 0001	Large-Scale Cross-Media Retrieval of WikipediaMM Images with Textual and Visual Query Expansion.	CLEF	2008	DBLP DOI BibTeX RDF	textual query expansion, query-dependent visual concept detection, cross-media re-ranking, Image retrieval
14	Wei-Jie Mao, Yuan-Yuan Zhang	Robust Control of Linear Continuous-Time Polytopic Systems and Application to an Electro-Hydraulic Servo System.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	Robust stabilizability, Parameter-dependent Lyapunov approach, Electro-hydraulic servo system, Robust stability
14	Paula Cecilia Fritzsche, Dolores Rexachs, Emilio Luque	A General Approach to Predict the Performance Order of TSP Family Problems.	ICA3PP	2008	DBLP DOI BibTeX RDF	Data-dependent algorithms, Parallel computing, TSP, Performance prediction
14	Michael Wedel, Uwe Jensen, Peter Göhner	Mining software code repositories and bug databases using survival analysis models.	ESEM	2008	DBLP DOI BibTeX RDF	early fault prediction, time-dependent fault occurrence
14	Juan A. Fraile, Javier Bajo, Belén Pérez Lancho, Eladio Sanz	HoCa Home Care Multi-agent Architecture.	DCAI	2008	DBLP DOI BibTeX RDF	Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments
14	Xiaowen Ding, Bing Liu 0001, Philip S. Yu	A holistic lexicon-based approach to opinion mining.	WSDM	2008	DBLP DOI BibTeX RDF	context dependent opinions, opinion mining, sentiment analysis
14	László Szilágyi, Sándor M. Szilágyi, László Dávid, Zoltán Benyó	Multi-stage FCM-Based Intensity Inhomogeneity Correction for MR Brain Image Segmentation.	ICANN (2)	2008	DBLP DOI BibTeX RDF	Intensity inhomogeneity, context dependent filter, image segmentation, magnetic resonance imaging, morphological operations, fuzzy c-means algorithm
14	Juan A. Fraile, Javier Bajo, Juan M. Corchado	Hybrid Multi-agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments
14	Juan A. Fraile, Dante I. Tapia, Miguel A. Sánchez	Hybrid Multi-Agent Architecture (HoCa) Applied to the Control and Supervision of Patients in Their Homes.	HAIS	2008	DBLP DOI BibTeX RDF	Multiagent Systems, Ambient Intelligence, Home Care, Dependent environments
14	Parisa Eslambolchilar, Roderick Murray-Smith	Interact, excite, and feel.	TEI	2008	DBLP DOI BibTeX RDF	dynamic continuous interaction, speed-dependent automatic zooming, mobile devices, multimodality, sonification, mode switching
14	John A. Bullinaria	Using evolution to improve neural network learning: pitfalls and solutions.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Age dependent plasticity, Neural networks, Evolutionary computation, Learning algorithms, Ensemble methods
14	Takashi Takekawa, Toshio Aoyagi, Tomoki Fukai	Synchronous and asynchronous bursting states: role of intrinsic neural dynamics.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Stimulus-dependent synchronization, Fast rhythmic burst, Phase response, Synaptic location
14	Minija Tamosiunaite, Bernd Porr, Florentin Wörgötter	Self-influencing synaptic plasticity: Recurrent changes of synaptic weights can lead to specific functional properties.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Dendritic spike, Back-propagating spike, Local learning, Spike-timing-dependent plasticity
14	Alexander Wiebel, Xavier Tricoche, Dominic Schneider, Heike Jänicke, Gerik Scheuermann	Generalized Streak Lines: Analysis and Visualization of Boundary Induced Vortices.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Skin friction, singularity tracking, vortex, generalized streak line, time-dependent vector fields, flow visualization
14	Heike Jänicke, Alexander Wiebel, Gerik Scheuermann, Wolfgang Kollmann	Multifield Visualization Using Local Statistical Complexity.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Local statistical complexity, multifield visualization, coherent structures, information theory, flow visualization, feature detection, time-dependent
14	Zhi-Quan Cheng, Huafeng Liu, Shiyao Jin	The progressive mesh compression based on meaningful segmentation.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Meaningful segmentation, Progressive, Mesh compression, View-dependent
14	Xin Huang, Sheng Li 0008, Guoping Wang	Displacement modeling: Hardware-accelerated interactive feature modeling on subdivision surfaces.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Displacement modeling, View-dependent adaptive subdivision, Fine level features, Interactive design, GPU
14	Adam Chlipala	A certified type-preserving compiler from lambda calculus to assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	denotational semantics, dependent types, compiler verification, interactive proof assistants
14	S. Afshin Mansouri, S. Hamed Hendizadeh, Nasser Salmasi	Bicriteria two-machine flowshop scheduling using metaheuristics.	GECCO	2007	DBLP DOI BibTeX RDF	Pareto-optimal frontier, sequence-dependent setups, genetic algorithms, simulated annealing, flowshop, multicriteria scheduling
14	Johan Peitz, Hannamari Saarenpää, Staffan Björk	Insectopia: exploring pervasive games through technology already pervasively available.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	bluetooth harvesting, context-dependent games, pervasive games
14	Kathleen Fisher	Typing ad hoc data.	TLDI	2007	DBLP DOI BibTeX RDF	ad hoc data, domain-specific languages, dependent types, data description languages
14	Jorge Nakahara Jr.	A Linear Analysis of Blowfish and Khufu.	ISPEC	2007	DBLP DOI BibTeX RDF	Blowfish, Khufu, key-dependent S- boxes, linear cryptanalysis
14	László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó	A Modified Fuzzy C-Means Algorithm for MR Brain Image Segmentation.	ICIAR	2007	DBLP DOI BibTeX RDF	context dependent filter, image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm
14	Kayichiro Inagaki, Yutaka Hirata, Pablo M. Blazquez, Stephen M. Highstein	Computer Simulation of Vestibuloocular Reflex Motor Learning Using a Realistic Cerebellar Cortical Neuronal Network Model.	ICONIP (1)	2007	DBLP DOI BibTeX RDF	VOR motor learning, Long-term depression, Long-term potentiation, Spike neuron model, Spike timing dependent plasticity
14	Xue Yang 0007, Nitin H. Vaidya, Priya Ravichandran	Split-Channel Pipelined Packet Scheduling for Wireless Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	bandwidth-independent overhead, bandwidth-dependent overhead, access energy cost, packet access delay, wireless LANs, pipelining, IEEE 802.11, multihop networks, channel utilization, Multiple access control (MAC)
14	Dean H. Lorenz, Ariel Orda, Danny Raz, Yuval Shavitt	Efficient QoS partition and routing of unicast and multicast.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	QoS-dependent costs, QoS, routing, multicast, resource allocation, approximation
14	Alexander A. Moldovyan, Nick A. Moldovyan, Nicolas Sklavos 0001	Controlled elements for designing ciphers suitable to efficient VLSI implementation.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	Security, Block ciphers, Hardware implementation, Data-dependent operations
14	Chao-Chun Chen, Chiang Lee, Chun-Chiang Wang, Yu-Chi Chung	Prefetching LDD: a benefit-oriented approach.	IWCMC	2006	DBLP DOI BibTeX RDF	benefit analysis, pervasive service, prefetch, mobile data management, location dependent data
14	Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001	The next 700 data description languages.	POPL	2006	DBLP DOI BibTeX RDF	domain-specific languages, dependent types, data description language
14	José Carlos Cortizo, J. Ignacio Giráldez	Multi Criteria Wrapper Improvements to Naive Bayes Learning.	IDEAL	2006	DBLP DOI BibTeX RDF	(In)Dependent Attributes, Data Mining, Machine Learning, Data Analysis, Wrapper, Naive Bayes, Feature Subset Selection
14	Adam Chlipala	Modular development of certified program verifiers with a proof assistant.	ICFP	2006	DBLP DOI BibTeX RDF	programming with dependent types, proof-carrying code, interactive proof assistants
14	Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson	Type-theoretic design patterns.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern
14	Raimund Dachselt, Markus Weiland	TimeZoom: a flexible detail and context timeline.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	detail and context technique, e-mail client, time navigation, information visualization, interaction technique, fisheye view, calendar, time-dependent data
14	Jinghua Ge, Daniel J. Sandin, Andrew E. Johnson 0001, Tom Peterka, Robert Kooima, Javier Girado, Thomas A. DeFanti	Point-based VR visualization for large-scale mesh datasets by real-time remote computation.	VRCIA	2006	DBLP DOI BibTeX RDF	point splatting, view reconstruction, view-dependent LOD, occlusion culling, remote computation
14	Lulai Yuan, Guosun Zeng, Wei Wang 0033	A Grid Resource Price-adjusting Strategy Based on Price Influence Model.	GCC	2006	DBLP DOI BibTeX RDF	price management, price-adjusting strategy, Price Influence Model, dependent resources, Grid computing, resource management
14	Suresh Srinivasan, Prasanth Mangalagiri, Yuan Xie 0001, Narayanan Vijaykrishnan, Karthik Sarpatwari	FLAW: FPGA lifetime awareness.	DAC	2006	DBLP DOI BibTeX RDF	hot carrier effects, time dependent dielecric breakdown, FPGA, electromigration
14	Paul Fearnhead	Direct simulation for discrete mixture distributions.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	Bayesian model choice, binomial mixture, genetic linkage, Markov-dependent mixtures, Poisson mixture, particle filters, Forward-Backward algorithm
14	Xiang Yu, Ian Li-Jin Thng, Yuming Jiang 0001, Chunming Qiao	Queueing processes in GPS and PGPS with LRD traffic inputs.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	LRD isolation, Weibull bounded, Weibull bounded burstiness, queueing process, QoS, long range dependent, generalized processor sharing
14	Ariel Orda, Alexander Sprintson	A scalable approach to the partition of QoS requirements in unicast and multicast.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	performance-dependent costs, quality of service (QoS) partition, routing, multicast, resource allocation
14	Nicolas Sklavos 0001, Nick A. Moldovyan, Odysseas G. Koufopavlou	High Speed Networking Security: Design and Implementation of Two New DDP-Based Ciphers.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	Cobra-H64, Cobra-H128, networking security, encryption, data-dependent permutations
14	Aravind Kalaiah, Amitabh Varshney	Statistical geometry representation for efficient transmission and rendering.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	network graphics, programmable GPU, quasi-random numbers, principal component analysis, progressive transmission, Point-based rendering, view-dependent rendering
14	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
14	Debopam Acharya, Vijay Kumar 0002	Location based indexing scheme for DAYS.	MobiDE	2005	DBLP DOI BibTeX RDF	indexing, location based services, wireless data broadcast, data staging, location dependent data
14	Matteo Petracca, Antonio Servetti, Juan Carlos De Martin	Low-complexity automatic speaker recognition in the compressed GSM AMR domain.	ICME	2005	DBLP DOI BibTeX RDF	elementary statistical value, low-complexity automatic speaker recognition, adaptive multirate code, GSM AMR, speaker modeling, speech bitstream, speaker dependent feature extraction, speech coding standard, Euclidean distance measure, compressed domain
14	Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen	Verifying safety policies with size properties and alias controls.	ICSE	2005	DBLP DOI BibTeX RDF	alias control, object-based programs, size properties, dependent types, safety verification
14	Guillermo Gallego 0001, Haichao Hu	Optimal Policies for Production/Inventory Systems with Finite Capacity and Markov-Modulated Demand and Supply Processes.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	Markov-modulated demand and Markov-modulated yield, modified state-dependent inflated base-stock policy, production/inventory system, finite-capacity
14	Mark Strembeck, Gustaf Neumann	An integrated approach to engineer and enforce context constraints in RBAC environments.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	Context-dependent access control, constraints engineering, context constraints, role-based access control
14	Hidetoshi Urakubo, Takeshi Aihara, Shinya Kuroda, Masataka Watanabe, Shunsuke Kondo	Spatial Localization of Synapses Required for Supralinear Summation of Action Potentials and EPSPs.	J. Comput. Neurosci.	2004	DBLP DOI BibTeX RDF	spike-timing dependent synaptic plasticity, membrane potential amplification, synaptic localization, multi-compartment model
14	Yi Yan	Statistical Multiplexing of Homogeneous Fractional Brownian Streams.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	long-range dependent, statistical multiplexing, queue length, buffer allocation, fractional Brownian motion
14	Matthias Hopf, Michael Luttenberger, Thomas Ertl	Hierarchical Splatting of Scattered 4D Data.	IEEE Computer Graphics and Applications	2004	DBLP DOI BibTeX RDF	hierarchical visualization, out-of-core techniques, volume rendering, scattered data, splatting, time-dependent data
14	Jianliang Xu, Baihua Zheng, Wang-Chien Lee, Dik Lun Lee	The D-Tree: An Index Structure for Planar Point Queries in Location-Based Wireless Services.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	mobile computing, spatial database, energy conservation, data broadcast, index structure, Location-dependent data
14	Baihua Zheng, Wang-Chien Lee, Dik Lun Lee	Spatial Queries in Wireless Broadcast Systems.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	location-dependent spatial queries, pervasive computing, index structure, wireless broadcast
14	Solange Coupet-Grimal, Line Jakubiec	Certifying circuits in Type Theory.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Co-induction, Formal methods, Type theory, Dependent types, Extraction, Hardware verification
14	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
14	Geyong Min, Mohamed Ould-Khaoua, Irfan-Ullah Awan, Demetres D. Kouvatsos	Communication delay in hypercubic networks with LRD traffic.	SAC	2004	DBLP DOI BibTeX RDF	long-range dependent traffic, pipelined circuit switching, interconnection networks, performance modelling, adaptive routing
14	Jana Dunfield, Frank Pfenning	Tridirectional typechecking.	POPL	2004	DBLP DOI BibTeX RDF	type refinements, dependent types, intersection types, union types
14	Van-Nam Huynh, Yoshiteru Nakamori	A Framework for Representation and Manipulation of Vague Knowledge.	MDAI	2004	DBLP DOI BibTeX RDF	Fuzzy context model, uncertainty measure of type 2, context-dependent fuzzy set, decision-making
14	Peter L. Bartlett, Shahar Mendelson, Petra Philips	Local Complexities for Empirical Risk Minimization.	COLT	2004	DBLP DOI BibTeX RDF	concentration inequalities, isomorphic coordinate projections, data-dependent complexity, Statistical learning theory, empirical risk minimization, generalization bounds
14	Derrick J. Parkhurst, Ernst Niebur	A feasibility test for perceptually adaptive level of detail rendering on desktop systems.	APGV	2004	DBLP DOI BibTeX RDF	velocity-dependent, visual search, gaze-contingent
14	Ichiro Satoh	A Testing Framework for Mobile Computing Software.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	network-dependent application, mobile computing, Testing, mobile agent
14	Paolo Bellavista, Antonio Corradi, Rebecca Montanari, Cesare Stefanelli	Context-Aware Middleware for Resource Management in the Wireless Internet.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	C.2.8.e Mobile Computing/Support services, J.8.l Internet Applications/Middleware, J.9.a Mobile Applications/Location-dependent and Sensitive, C.2.8.d Mobile Computing/Mobile Environments
14	Andreas Sundquist	Dynamic Line Integral Convolution for Visualizing Streamline Evolution.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	field lines, vector fields, streamlines, Line integral convolution, time-varying, electromagnetism, time-dependent
14	Anthony N. Burkitt, J. Leo van Hemmen	How synapses in the auditory system wax and wane: theoretical perspectives.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF	Spike-timing-dependent synaptic plasticity, Synaptic learning, Poisson neuron, Temporal-feature maps, Integrate-and-fire neuron
14	Baihua Zheng, Wang-Chien Lee, Dik Lun Lee	Spatial Index on Air.	PerCom	2003	DBLP DOI BibTeX RDF	index structure, Hilbert Curve, wireless broadcast, location-dependent queries
14	Rahul M. Rao, Jeffrey L. Burns, Anirudh Devgan, Richard B. Brown	Efficient techniques for gate leakage estimation.	ISLPED	2003	DBLP DOI BibTeX RDF	pattern-dependent, pattern-independent, estimation, leakage, gate leakage
14	Xiang Ji 0001, Hongyuan Zha	Domain-independent text segmentation using anisotropic diffusion and dynamic programming.	SIGIR	2003	DBLP DOI BibTeX RDF	document-dependent stop words, dynamic programming, text segmentation, anisotropic diffusion