Search results for "analytic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt	Towards Tableau Theorem-Proving with Analytic Cut.	TABLEAUX	1992	DBLP BibTeX RDF
19	Reiner Hähnle	Analytic Tableau and Integer Programming (Extended Abstract).	TABLEAUX	1992	DBLP BibTeX RDF
19	Marcello D'Agostino, Marco Mondadori	An Improvement of Analytic Tableaux.	TABLEAUX	1992	DBLP BibTeX RDF
19	Graham Wrightson	Research into Analytic Tableaux.	TABLEAUX	1992	DBLP BibTeX RDF
19	Barbara Sannerud	Analytic Modeling for the Non-Analytic Modeler.	Int. CMG Conference	1987	DBLP BibTeX RDF
19	Nikolaos I. Ioakimidis, Eleni G. Anastasselou	On the simultaneous determination of zeros of analytic or sectionally analytic functions.	Computing	1986	DBLP DOI BibTeX RDF
19	Robert G. Sargent	What type of model: Analytic, simulation or hybrid simulation/analytic.	WSC	1984	DBLP BibTeX RDF
17	Christopher R. Stolte	Visual interfaces to data.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	visual analytics
17	Poul E. Heegaard, Kishor S. Trivedi	Survivability quantification of communication services.	DSN	2008	DBLP DOI BibTeX RDF
17	David M. Nicol	Performance analysis of real traffic carried with encrypted cover flows: Invited talk 2.	SpringSim	2008	DBLP DOI BibTeX RDF
17	Nabil Schear, David M. Nicol	Performance Analysis of Real Traffic Carried with Encrypted Cover Flows.	PADS	2008	DBLP DOI BibTeX RDF	security, discrete-event simulation, traffic analysis, network modeling, SSL
17	Sean M. McNee, Ben Arnette	Productivity as a metric for visual analytics: reflections on e-discovery.	BELIV	2008	DBLP DOI BibTeX RDF	Attenex, information visualization, metrics, process, productivity, visual analytics, e-discovery
17	Pascale Proulx, Lynn Chien, Robert Harper 0002, David Schroh, Thomas Kapler, David Jonker, William Wright	nSpace and GeoTime: A VAST 2006 Case Study.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	geospatial information systems, visual analytics, temporal analysis, sense making, human information interaction
17	Bo Sun, Kalyan Sunkavalli, Ravi Ramamoorthi, Peter N. Belhumeur, Shree K. Nayar	Time-Varying BRDFs.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	time-varying phenomena, measurement, natural phenomena, BRDFs
17	Chee-Khian Sim, Gongyun Zhao	Underlying paths in interior point methods for the monotone semidefinite linear complementarity problem.	Math. Program.	2007	DBLP DOI BibTeX RDF
17	Juan V. Lorenzo-Ginori	An Approach to the 2D Hilbert Transform for Image Processing Applications.	ICIAR	2007	DBLP DOI BibTeX RDF
17	Gi-Joon Nam, Sherief Reda, Charles J. Alpert, Paul Villarrubia, Andrew B. Kahng	A Fast Hierarchical Quadratic Placement Algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
17	Wei Jing, Xu Pingping	An Optimized Scheme of Energy Consumption in Wireless Sensor MAC Protocol.	APCCAS	2006	DBLP DOI BibTeX RDF
17	Paula J. Cowley, Lucy T. Nowell, Jean Scholtz	Glass Box: An Instrumented Infrastructure for Supporting Human Interaction with Information.	HICSS	2005	DBLP DOI BibTeX RDF
17	Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster	Process Technology to Facilitate the Conduct of Science.	ISPW	2005	DBLP DOI BibTeX RDF
17	Jason Lawrence, Szymon Rusinkiewicz, Ravi Ramamoorthi	Efficient BRDF importance sampling using a factored representation.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	Rendering, Ray Tracing, Global Illumination, Importance Sampling, BRDF, Monte Carlo Integration
17	Kenneth C. Sevcik	Some systems, applications and models I have known.	SIGMETRICS	2004	DBLP DOI BibTeX RDF
17	Hsien-Ming Tsai, Yi-Bing Lin	Modeling Wireless Local with General Call Holding Times and Finite Number of Subscribers.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Engset product form, supplemented generalized semi-Markov process, wireless local loop, Loss probability
17	Charles J. Alpert, Gi-Joon Nam, Paul Villarrubia	Free space management for cut-based placement.	ICCAD	2002	DBLP DOI BibTeX RDF
17	Soojung Lee, Junguk L. Kim	Performance Analysis of Distributed Deadlock Detection Algorithms.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	wait-for graph, distributed systems, distributed algorithms, Deadlock detection, cycle detection
17	Elizabeth A. M. Shriver, Bruce Hillyer, Abraham Silberschatz	Performance Analysis of Storage Systems.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
17	Ralph Bergmann, Klaus-Dieter Althoff	Methodology for Building CBR Applications.	Case-Based Reasoning Technology	1998	DBLP DOI BibTeX RDF
17	Yi-Chun Chu, Toby J. Teorey	Modeling and analysis of the Unix communication subsystems.	CASCON	1996	DBLP BibTeX RDF	TCP/IP, UNIX
17	Alexander Thomasian, In Kyung Ryu	Performance Analysis of Two-Phase Locking.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	transaction size, lock requests, lock conflict, transaction response time, transaction blocking, simulation, distributed databases, concurrency control, probability, transaction processing, deadlock, system recovery, system performance, two-phase locking, lock contention
17	Philippe Flajolet, Bruno Salvy, Paul Zimmermann	Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer.	AAECC	1988	DBLP DOI BibTeX RDF
17	Norbert Th. Müller	Uniform Computational Complexity of Taylor Series.	ICALP	1987	DBLP DOI BibTeX RDF
15	Ji-Hong Li, Naishuo Tian, Zhe George Zhang, Hsing Paul Luh	Analysis of the M/G/1 queue with exponentially working vacations - a matrix analytic approach.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 68M20
15	Thomas Weickert, Claus Benjaminsen, Uwe Kiencke	Analytic Wavelet Packets - Combining the Dual-Tree Approach With Wavelet Packets for Signal Analysis and Filtering.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
15	Carlos Caleiro, João Marcos 0001	Classic-Like Analytic Tableaux for Finite-Valued Logics.	WoLLIC	2009	DBLP DOI BibTeX RDF	many-valued logics, proof theory
15	Matthew Greytak, Franz S. Hover	Analytic error variance predictions for planar vehicles.	ICRA	2009	DBLP DOI BibTeX RDF
15	Nianjun Zhou, Liang-Jie Zhang	Analytic Architecture Assessment in SOA Solution Design and its Engineering Application.	ICWS	2009	DBLP DOI BibTeX RDF
15	Mary McGlohon, Stephen Bay, Markus G. Anderle, David M. Steier, Christos Faloutsos	SNARE: a link analytic system for graph labeling and risk detection.	KDD	2009	DBLP DOI BibTeX RDF	social networks, anomaly detection, belief propagation
15	Yijou Chen, Richard L. Cole, William J. McKenna, Sergei Perfilov, Aman Sinha, Eugene Szedenits Jr.	Partial join order optimization in the paraccel analytic database.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	extensible optimizer framework, query optimization
15	Rudolf Mayer, Robert Neumayer, Doris Baum, Andreas Rauber	Analytic Comparison of Self-Organising Maps.	WSOM	2009	DBLP DOI BibTeX RDF
15	Ronan Boulic, Daniel Raunhardt	Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions.	MIG	2009	DBLP DOI BibTeX RDF
15	Stephan Hasler, Heiko Wersing, Stephan Kirstein, Edgar Körner	Large-Scale Real-Time Object Identification Based on Analytic Features.	ICANN (2)	2009	DBLP DOI BibTeX RDF
15	Foutse Khomh, Yann-Gaël Guéhéneuc, Giuliano Antoniol	Playing roles in design patterns: An empirical descriptive and analytic study.	ICSM	2009	DBLP DOI BibTeX RDF
15	Marc Peter Deisenroth, Marco F. Huber, Uwe D. Hanebeck	Analytic moment-based Gaussian process filtering.	ICML	2009	DBLP DOI BibTeX RDF
15	Tomoyuki Hamamura, Takuma Akagi, Bunpei Irie	An A Posteriori Probability Calculation Method for Analytic Word Recognition Applicable to Address Recognition.	ICDAR	2009	DBLP DOI BibTeX RDF
15	Bing Wang 0001, Jim Kurose, Prashant J. Shenoy, Donald F. Towsley	Multimedia streaming via TCP: An analytic performance study.	ACM Trans. Multim. Comput. Commun. Appl.	2008	DBLP DOI BibTeX RDF	Performance modeling, multimedia streaming
15	Kyung Jae Kim, Bara Kim, Ji Won Um, Jung Je Son, Bong Dae Choi	Delay analysis of extended rtPS for VoIP service in IEEE 802.16e by matrix analytic method.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF
15	Barbara Haas Margolius	The matrices R and G of matrix analytic methods and the time-inhomogeneous periodic Quasi-Birth-and-Death process.	Queueing Syst. Theory Appl.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 60J80, 60J10
15	Hyunmo Kang, Lise Getoor, Ben Shneiderman, Mustafa Bilgic 0001, Louis Licamele	Interactive Entity Resolution in Relational Data: A Visual Analytic Tool and Its Evaluation.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
15	Qi Zhang 0012, Ludmila Cherkasova, Ningfang Mi, Evgenia Smirni	A regression-based analytic model for capacity planning of multi-tier applications.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	Regression-based model, Changing workload, Capacity planning, Multi-tier systems
15	Tadej Kotnik	The prime-counting function and its analytic approximations.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11A41, 41A60, 11Y35, 65G99
15	Daniel Catrein, Jörg Huschke, Uwe Horn	Analytic Evaluation of a Hybrid Broadcast-Unicast TV Offering.	VTC Spring	2008	DBLP DOI BibTeX RDF
15	Arman Rahmim, Martin A. Lodge, Jing Tang 0005, Sahel Lashkari, Mohammad Reza Ay	Analytic system matrix resolution modeling in PET: An application to Rb-82 cardiac imaging.	ISBI	2008	DBLP DOI BibTeX RDF
15	Djano Kandaswamy, Thierry Blu, Laurent Spinelli, Christoph M. Michel, Dimitri Van De Ville	EEG source localization by multi-planar analytic sensing.	ISBI	2008	DBLP DOI BibTeX RDF
15	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
15	Noriaki Kamiyama, Daisuke Satoh	Network Topology Design Using Analytic Hierarchy Process.	ICC	2008	DBLP DOI BibTeX RDF
15	K. Nadia Papamichail, Nikolas Hadjiprocopiou, Procopis Hadjiprocopiou, Vidya Rajaram, Stephen J. Brewis	A Decision Analytic Tool for Assessing Decision Making Performance.	WSKS (2)	2008	DBLP DOI BibTeX RDF
15	Kai Lun Chung, Wei Zhuo 0001	Graph-Based Visual Analytic Tools for Parallel Coordinates.	ISVC (2)	2008	DBLP DOI BibTeX RDF
15	Mir Shahrouz Takyar, Tryphon T. Georgiou	On the Jordan structure of the spectral-zero dynamics in multivariable analytic interpolation.	CDC	2008	DBLP DOI BibTeX RDF
15	Xintian Yang, Sitaram Asur, Srinivasan Parthasarathy 0001, Sameep Mehta	A visual-analytic toolkit for dynamic interaction graphs.	KDD	2008	DBLP DOI BibTeX RDF	dynamic interaction networks, visual analytics, graph visualization
15	Michel Thériault, Leslie Ann Rusch, Sébastien Roy 0002, Paul Fortier	A Semi-Analytic Method for BER Performance of Rake-Based UWB Receivers.	WCNC	2008	DBLP DOI BibTeX RDF
15	Yu-jiong Gu, Kun-liang Chen, Kun Yang	Fuzzy Comprehensive Evaluation Method Based on Analytic Hierarchy Process for Falt Risk Analysis of Power Plant Equipment.	FSKD (3)	2008	DBLP DOI BibTeX RDF
15	Jun Fei, Ruimin Yao, Lihua Yu	Fuzzy Analytic Hierarchy Process Application to E-government Performance Evaluation.	FSKD (3)	2008	DBLP DOI BibTeX RDF
15	Hongyi Wu, Yu Wang 0019, Ha Dang, Feng Lin	Analytic, Simulation, and Empirical Evaluation of Delay/Fault-Tolerant Mobile Sensor Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
15	Biplab Sikdar 0001	An Analytic Model for the Delay in IEEE 802.11 PCF MAC-Based Wireless Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
15	Philip Feinsilver, René Schott	Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach.	Math. Comput. Sci.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). Primary 30A99 - Secondary 68W30, 37C10, 30A06
15	Pierluigi Minari	Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B40, 03F03, 03F07, 03F05
15	Malcolm I. G. Bloor, Michael J. Wilson	An analytic mapping of 3-D space to facilitate physical analysis.	Computing	2007	DBLP DOI BibTeX RDF	partial differential equation, Mesh generation
15	Nasser Alaeddine, Jeff Tian	Analytic Model for Web Anomalies Classification.	HASE	2007	DBLP DOI BibTeX RDF
15	Philippe Flajolet	Analytic combinatorics: a calculus of discrete structures.	SODA	2007	DBLP BibTeX RDF
15	Qi Zhang 0012, Ludmila Cherkasova, Evgenia Smirni	A Regression-Based Analytic Model for Dynamic Resource Provisioning of Multi-Tier Applications.	ICAC	2007	DBLP DOI BibTeX RDF
15	Dragos Calitoiu, B. John Oommen, Doron Nussbaum	Analytic Results on the Hodgkin-Huxley Neural Network: Spikes Annihilation.	Canadian AI	2007	DBLP DOI BibTeX RDF
15	Kang Li 0002, Jian Xun Peng, Minrui Fei, Xiaoou Li, Wen Yu 0001	Integrated Analytic Framework for Neural Network Construction.	ISNN (2)	2007	DBLP DOI BibTeX RDF
15	Robert Görke, Marco Gaertler, Dorothea Wagner	LunarVis - Analytic Visualizations of Large Graphs.	GD	2007	DBLP DOI BibTeX RDF
15	Raghav Subbarao, Peter Meer	Discontinuity Preserving Filtering over Analytic Manifolds.	CVPR	2007	DBLP DOI BibTeX RDF
15	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
15	Maki Iwami	A Unified Algorithm for Multivariate Analytic Factorization.	CASC	2007	DBLP DOI BibTeX RDF
15	Tomoyuki Hamamura, Takuma Akagi, Bunpei Irie	An Analytic Word Recognition Algorithm Using a Posteriori Probability.	ICDAR	2007	DBLP DOI BibTeX RDF
15	Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato	KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
15	Rajeev Goré, Linh Anh Nguyen	EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.	TABLEAUX	2007	DBLP DOI BibTeX RDF
15	Olivier Brun, Charles Bockstal, Jean-Marie Garcia	Analytic approximation of the jitter incurred by CBR traffics in IP networks.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	GI + D/ GI + D/1 queue, CBR traffic, Internet, Delay-jitter
15	Ronan Boulic, Xavier Varona, Luis Unzueta, Manuel Peinado, Angel Suescun Cruces, Francisco José Perales López	Evaluation of on-line analytic and numeric inverse kinematics approaches driven by partial vision input.	Virtual Real.	2006	DBLP DOI BibTeX RDF	On-line image analysis, Motion capture, Inverse kinematics
15	Chi-Min Li, Chi-Yuan Li, I-Tseng Tang, Yu-Yu Peng	An analytic method to improve the performance of a space-time block codes RAKE receiver with channel estimation error.	IWCMC	2006	DBLP DOI BibTeX RDF	LOS, NLOS, RAKE, W-CDMA, STBC
15	Abdulwahed M. Abbas, Ahmad H. Nasri, Weiyin Ma	An Approach for Embedding Regular Analytic Shapes with Subdivision Surfaces.	Computer Graphics International	2006	DBLP DOI BibTeX RDF
15	João W. Cangussu, Kendra M. L. Cooper, W. Eric Wong	Multi Criteria Selection of Components Using the Analytic Hierarchy Process.	CBSE	2006	DBLP DOI BibTeX RDF
15	Sean M. McNee, John Riedl, Joseph A. Konstan	Making recommendations better: an analytic model for human-recommender interaction.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	human-recommender interaction, recommender systems, personalization, collaborative filtering, user-centered design, information seeking
15	Jehan-François Pâris, Darrell D. E. Long	An Analytic Study of Stream Tapping Protocols.	ICME	2006	DBLP DOI BibTeX RDF
15	Raghav Subbarao, Peter Meer	Nonlinear Mean Shift for Clustering over Analytic Manifolds.	CVPR (1)	2006	DBLP DOI BibTeX RDF
15	David G. Haigh	Analytic approach to or transformations for FET circuit synthesis. Part I. Nullator-norator tree transformations.	ISCAS	2006	DBLP DOI BibTeX RDF
15	Burton Ma, Randy E. Ellis	Analytic Expressions for Fiducial and Surface Target Registration Error.	MICCAI (2)	2006	DBLP DOI BibTeX RDF
15	Jin He 0003, Xing Zhang 0002, Ganggang Zhang, Yangyuan Wang	A Carrier-Based Analytic Model for Undoped (Lightly Doped) Ultra-Thin-Body Silicon-on-Insulator (UTB-SOI) MOSFETs.	ISQED	2006	DBLP DOI BibTeX RDF
15	Marc de Kamps	An analytic solution of the reentrant Poisson master equation and its application in the simulation of large groups of spiking neurons.	IJCNN	2006	DBLP DOI BibTeX RDF
15	Buhm Lee, Chang-Ho Choi, Nam Sup Choi, Kyoung Min Kim, Yong-Ha Kim, Sang-Kyu Choi, Sakis A. Meliopoulos	Distribution System Evaluation Algorithm Using Analytic Hierarchy Process.	IEA/AIE	2006	DBLP DOI BibTeX RDF
15	Haifeng Li 0013, Minyan Lu, Qiuying Li	Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process.	QSIC	2006	DBLP DOI BibTeX RDF
15	Takeshi Matsuda, Sumio Watanabe	Analytic Equivalence of Bayes a Posteriori Distributions.	ICANN (1)	2006	DBLP DOI BibTeX RDF
15	Ingrid S. Reiser, Emil Y. Sidky, Robert M. Nishikawa, Xiaochuan Pan	Development of an Analytic Breast Phantom for Quantitative Comparison of Reconstruction Algorithms for Digital Breast Tomosynthesis.	Digital Mammography / IWDM	2006	DBLP DOI BibTeX RDF
15	Augustus J. E. M. Janssen, J. S. H. van Leeuwaarden	Analytic Computation Schemes for the Discrete-Time Bulk Service Queue.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	discrete-time bulk service, Szegö, Spitzer’s identity, curve, stationary distribution, roots, multi-server
15	Andrew B. Kahng, Qinke Wang	Implementation and extensibility of an analytic placer.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
15	Lawrence Bodin, Lawrence A. Gordon, Martin P. Loeb	Evaluating information security investments using the analytic hierarchy process.	Commun. ACM	2005	DBLP DOI BibTeX RDF
15	Bo Sun, Ravi Ramamoorthi, Srinivasa G. Narasimhan, Shree K. Nayar	A practical analytic single scattering model for real time rendering.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF
15	Daniel A. Menascé, Mohamed N. Bennani, Honglei Ruan	On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF