Search results for "TAU"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Michael Alekhnovich, Alexander A. Razborov	Satisfiability, Branch-Width and Tseitin Tautologies.	FOCS	2002	DBLP DOI BibTeX RDF
99	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
86	Vassil S. Dimitrov, Kimmo U. Järvinen, Michael J. Jacobson Jr., W. F. Chan, Zhun Huang	Provably Sublinear Point Multiplication on Koblitz Curves and Its Hardware Implementation.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
86	Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel	Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.	RTCSA	2006	DBLP DOI BibTeX RDF
86	Maria C. Yuang, Po L. Tien, Julin Shih, Alice Chen	QoS scheduler/shaper for optical coarse packet switching IP-over-WDM networks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
79	Svetla Nikova, Ventzislav Nikov	Improvement of the Delsarte Bound for tau-Designs in Finite Polynomial Metric Spaces.	IMACC	2001	DBLP DOI BibTeX RDF
74	X. Y. Zeng	Equivalence of the Oscillation of Two Coupled Difference Systems.	SNPD (2)	2007	DBLP DOI BibTeX RDF
73	Marian Bubak, Wlodzimierz Funika, Marcin Koch, Dominik Dziok, Allen D. Malony, Marcin Smetek, Roland Wismüller	Towards the Performance Visualization of Web-Service Based Applications.	PPAM	2005	DBLP DOI BibTeX RDF	TAU, web service, performance visualization, OMIS, monitoring tools
66	Farideh Ghoreishi, M. Hadizadeh	Numerical computation of the Tau approximation for the Volterra-Hammerstein integral equations.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 45G05, Secondary 65R20
66	Zhouyi Xu, Xiaodong Cai	Unbiased tau-leap methods for stochastic simulation of biochemical systems.	ICASSP	2008	DBLP DOI BibTeX RDF
66	Wlodzimierz Funika, Marcin Koch, Dominik Dziok, Marcin Smetek, Roland Wismüller	Performance Visualization of Web Services Using J-OCM and SCIRun/TAU.	HPCC	2005	DBLP DOI BibTeX RDF	J-OCM, TAU, SCIRun, web service, Performance visualization, monitoring tools
62	Baris Nakiboglu, Robert G. Gallager	Error Exponents for Variable-Length Block Codes With Feedback and Cost Constraints.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
62	Guoning Chen, Konstantin Mischaikow, Robert S. Laramee, Eugene Zhang	Efficient Morse Decompositions of Vector Fields.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
62	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
62	Stefan Felsner	On the Number of Arrangements of Pseudolines.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
60	Muhittin Gökmen, Anil K. Jain 0001	λτ-space representation of images and generalized edge detector.	CVPR	1996	DBLP DOI BibTeX RDF	image clad surface representation, physical membrane, plate models, /spl lambda//spl tau/-representation, scale space representation, generalized edge detector, edge detection, representation, image representation, range images, stereo images, image data, edge detector, regularization theory
60	Xiao-Jia M. Zhou, Tharam S. Dillon	A Statistical-Heuristic Feature Selection Criterion for Decision Tree Induction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	statistical-heuristic feature selection criterion, multibranching decision trees, built-in statistical test, proportional-reduction-in-error, cost-of-complexity heuristic, middle-cut preference, tau criterion, prepruning, dynamic error estimation, pattern recognition, pattern recognition, robustness, statistics, trees (mathematics), decision theory, Bayes methods, Bayesian classifier, decision tree induction
53	Alan Morris, Allen D. Malony, Sameer Shende	Supporting Nested OpenMP Parallelism in the TAU Performance System.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	TAU, OpenMP, Nested parallelism
52	E. L. Ortiz, H. Samara	Numerical solution of differential eigenvalue problems with an operational approach to the Tau method.	Computing	1983	DBLP DOI BibTeX RDF	differential eigenvalue problems, systems of differential equations, Tau method, Legendre or Chebyshev series methods, Eigenvalues, differential equations, collocation
49	Sung Jin Yoo, Jin Bae Park, Yoon Ho Choi	Comments on "Adaptive Neural Control for a Class of Nonlinearly Parametric Time-Delay Systems".	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
49	Kalle Ranto, Petri Rosendahl	On Four-Valued Niho-Type Cross-Correlation Functions of m-Sequences.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
49	Sebastian Maneth	The Complexity of Compositions of Deterministic Tree Transducers.	FSTTCS	2002	DBLP DOI BibTeX RDF	Deterministic Macro Tree Transducers, Complexity
49	Chuchang Liu, Maris A. Ozols	Consistency of Trust Theories.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
49	Mario Bravetti, Roberto Gorrieri	A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.	ICALP	2000	DBLP DOI BibTeX RDF
48	Daniel T. Gillespie	Simulation Methods in Systems Biology.	SFM	2008	DBLP DOI BibTeX RDF	stochastic chemical kinetics, stochastic simulation algorithm, tau-leaping, Langevin equation, Fokker-Planck equation, stiff systems, slow-scale stochastic simulation algorithm, Michaelis-Menten, enzyme-substrate reaction, multiscale, master equation
48	Xiaotie Deng, Qizhi Fang, Shanfeng Zhu	Approximate Rank Aggregation (Preliminary Version).	COCOON	2003	DBLP DOI BibTeX RDF	Kendall-$tau$ distance, weighted ECC, coherence, Rank aggregation
42	Sameer Shende, Allen D. Malony, Alan Morris	Workload Characterization Using the TAU Performance System.	PARA	2006	DBLP DOI BibTeX RDF	Performance mapping, performance evaluation, measurement, instrumentation, workload characterization
42	Matthew Murray, Geir Hovland, Torgny Brogardh	Collision-Free Workspace Design of the 5-Axis Gantry-Tau Parallel Kinematic Machine.	IROS	2006	DBLP DOI BibTeX RDF
42	Wyatt Spear, Allen D. Malony, Alan Morris, Sameer Shende	Integrating TAU with Eclipse: A Performance Analysis System in an Integrated Development Environment.	HPCC	2006	DBLP DOI BibTeX RDF
42	Adrian Lahanas, Vassilios Tsaoussidis	Tau-AIMD for Asynchronous Receiver Feedback.	ISCC	2003	DBLP DOI BibTeX RDF
42	André van Schaik, Craig T. Jin	The tau-cell: a new method for the implementation of arbitrary differential equations.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
42	Joachim Parrow, Björn Victor	The Tau-Laws of Fusion.	CONCUR	1998	DBLP DOI BibTeX RDF
37	Frédéric Pascal 0001, Yacine Chitour, Jean Philippe Ovarlez, Philippe Forster, Pascal Larzabal	Covariance Structure Maximum-Likelihood Estimates in Compound Gaussian Noise: Existence and Algorithm Analysis.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
37	Aroon Nataraj, Allen D. Malony, Sameer Shende, Alan Morris	Integrated parallel performance views.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	Measurement, Linux, Kernel, Instrumentation, Parallel performance
37	Paul Baker, Clive Jervis	Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.	SDL Forum	2007	DBLP DOI BibTeX RDF
37	Emmanuel J. Candès, Justin K. Romberg, Terence Tao	Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
37	Pasi Fränti, Olli Virmajoki, Ville Hautamäki	Fast Agglomerative Clustering Using a k-Nearest Neighbor Graph.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	PNN, Clustering, vector quantization, nearest neighbor, agglomeration
37	Aroon Nataraj, Allen D. Malony, Alan Morris, Sameer Shende	Early Experiences with KTAU on the IBM BG/L.	Euro-Par	2006	DBLP DOI BibTeX RDF	performance, measurement, analysis, Kernel
37	Aroon Nataraj, Allen D. Malony, Sameer Shende, Alan Morris	Kernel-Level Measurement for Integrated Parallel Performance Views: the KTAU Project.	CLUSTER	2006	DBLP DOI BibTeX RDF
37	Wen Chen 0004, Bin Han 0003, Rong-Qing Jia	On simple oversampled A/D conversion in shift-invariant spaces.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
37	Evans Gouno, Ananda Sen, N. Balakrishnan 0002	Optimal step-stress test under progressive type-I censoring.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
37	Rajit Manohar, Clinton Kelly IV, John Teifel, David Fang, David Biermann	Energy-Efficient Pipelines.	ASYNC	2002	DBLP DOI BibTeX RDF	energy-time metrics, pipeline dynamics, low-power design
37	J. B. Wells	The Essence of Principal Typings.	ICALP	2002	DBLP DOI BibTeX RDF
37	Sabine Broda, Luís Damas	A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda.	EPIA	2001	DBLP DOI BibTeX RDF
37	John L. Bruno, Edward G. Coffman Jr.	Optimal Fault-Tolerant Computing on Multiprocessor Systems.	Acta Informatica	1997	DBLP DOI BibTeX RDF
37	Tomás Kaiser	Transversals of d-Intervals.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
37	J. C. Lagarias 0001, Nagabhushana Prabhu, James A. Reeds	The d-Step Conjecture and Gaussian Elimination.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
35	Ravi Kumar 0001, Sergei Vassilvitskii	Generalized distances between rankings.	WWW	2010	DBLP DOI BibTeX RDF	kendall's tau, permutation distances, spearman footrule, metrics
35	Muhammad R. Abid 0001, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher	A UML Profile for Goal-Oriented Modeling.	SDL Forum	2009	DBLP DOI BibTeX RDF	Tau G2, Metamodel, UML Profile, User Requirements Notation, Goal-oriented Requirement Language
35	Joachim Giesen, Eva Schuberth, Milos Stojakovic	Approximate Sorting.	LATIN	2006	DBLP DOI BibTeX RDF	Spearman’s footrule metric, Kendall’s tau metric, Ranking, Sorting
35	Noboru Takagi, Y. Nakamura, Kyoichi Nakashima	Set-Valued Functions and Regularity.	ISMVL	1997	DBLP DOI BibTeX RDF	set-valued functions, propositional connectives, n-variable ternary functions, /spl tau/-valued functions, regularity, multivalued logic, ternary logic
35	Sissel Olander, Tau Ulv Lenskjold, Signe Louise Yndigegn, Maria Foverskov	Mobilizing for community building and everyday innovation.	Interactions	2011	DBLP DOI BibTeX RDF
34	N. Lima, José Matos, Jody Maick Matos, Paulo B. Vasconcelos	A Time-Splitting Tau Method for PDE's: A Contribution for the Spectral Tau Toolbox Library.	Math. Comput. Sci.	2022	DBLP DOI BibTeX RDF
34	Vincent A. Cicirello	Kendall tau sequence distance: Extending Kendall tau from ranks to sequences.	EAI Endorsed Trans. Ind. Networks Intell. Syst.	2020	DBLP DOI BibTeX RDF
34	Vincent A. Cicirello	Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences.	CoRR	2019	DBLP BibTeX RDF
34	Yann Fichou	Hydration water dynamics of the tau protein in its native and amyloid states. (Dynamique de l'eau d'hydratation de la protéine tau dans des formes native et amyloïde).		2015	RDF
34	Meriem Ouederni, Gwen Salaün	Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability	WCSI	2010	DBLP DOI BibTeX RDF
34	Theresa M. Yuraszeck, Pierre Neveu, Maria Rodriguez-Fernandez, Anne S. Robinson, Kenneth S. Kosik, Francis J. Doyle III	Vulnerabilities in the Tau Network and the Role of Ultrasensitive Points in Tau Pathophysiology.	PLoS Comput. Biol.	2010	DBLP DOI BibTeX RDF
34	Werner Sandmann	Streamlined Formulation of Adaptive Explicit-Implicit Tau-leaping with Automatic Tau Selection.	WSC	2009	DBLP DOI BibTeX RDF
34	Gerhard Benadé, Izak Broere, Betsie Jonck, Marietjie Frick	Uniquely (m, k)tau-colourable graphs and k-tau-saturated graphs.	Discret. Math.	1996	DBLP DOI BibTeX RDF
29	Isolde Dressler, Anders Robertsson, Rolf Johansson 0001	Automatic kinematic calibration of a modular Gantry-Tau parallel robot from a kinematics point of view.	ICRA	2008	DBLP DOI BibTeX RDF
29	Nicolas Andreff, Isolde Dressler	Closed-form calibration of the Gantry-Tau parallel robot.	IROS	2008	DBLP DOI BibTeX RDF
29	Naum Chernoguz	Adaptive-gain-and-tau tracking filters for correlated target maneuvers.	ICASSP	2008	DBLP DOI BibTeX RDF
29	Geir Hovland, Martin Choux, Matthew Murray, Torgny Brogardh	Benchmark of the 3-DOF Gantry-Tau Parallel Kinematic Machine.	ICRA	2007	DBLP DOI BibTeX RDF
29	Isolde Dressler, Anders Robertsson, Rolf Johansson 0001	Accuracy of Kinematic and Dynamic Models of a Gantry-Tau Parallel Kinematic Robot.	ICRA	2007	DBLP DOI BibTeX RDF
29	Isolde Dressler, Mathias Haage, Klas Nilsson, Rolf Johansson 0001, Anders Robertsson, Torgny Brogardh	Configuration Support and Kinematics for a Reconfigurable Gantry-Tau Manipulator.	ICRA	2007	DBLP DOI BibTeX RDF
29	Mark Sanderson, Ian Soboroff	Problems with Kendall's tau.	SIGIR	2007	DBLP DOI BibTeX RDF	experimentation
29	Tara Julia Hamilton, Craig T. Jin, André van Schaik	An analysis of matching in the Tau cell log-domain filter.	ISCAS	2006	DBLP DOI BibTeX RDF
29	Sameer Shende, Allen D. Malony	Integration and applications of the TAU performance system in parallel Java environments.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
29	Bernd Mohr, Darryl Brown, Allen D. Malony	TAU: A Portable Parallel Program Analysis Environment for pC++.	CONPAR	1994	DBLP DOI BibTeX RDF
25	Allen D. Malony, Scott Biersdorff, Wyatt Spear, Shangkar Mayanglambam	An experimental approach to performance measurement of heterogeneous parallel applications using CUDA.	ICS	2010	DBLP DOI BibTeX RDF	profiling, GPGPU, tracing, performance tools
25	Claudia Hauff, Leif Azzopardi	When is query performance prediction effective?	SIGIR	2009	DBLP DOI BibTeX RDF	evaluation, query performance prediction
25	Yacine Chitour, Frédéric Pascal 0001	Exact Maximum Likelihood Estimates for SIRV Covariance Matrix: Existence and Algorithm Analysis.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
25	Zhiguo Ding 0001, Tharmalingam Ratnarajah, Colin Cowan	On the Diversity-Multiplexing Tradeoff for Wireless Cooperative Multiple Access Systems.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
25	Thuy Duong Vu	Deciding orthogonal bisimulation.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory
25	Aroon Nataraj, Matthew J. Sottile, Alan Morris, Allen D. Malony, Sameer Shende	TAUoverSupermon : Low-Overhead Online Parallel Performance Monitoring.	Euro-Par	2007	DBLP DOI BibTeX RDF	Online performance measurement, cluster monitoring
25	Tae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin	SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.	SDL Forum	2007	DBLP DOI BibTeX RDF
25	José Luis Rojo-Álvarez, Javier Bermejo, V. M. Juarez-Caballero, Raquel Yotti, Cristina Cortina, Miguel A. García-Fernández, José Carlos Antoranz	Support vector analysis of color-Doppler images: a new approach for estimating indices of left ventricular function.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
25	Ping Li 0037, Hou-Sheng Chen, Guangdong Huang, Xiao-Jun Shi	On Portfolio's Default-Risk-Adjusted Duration and Value: Model and Algorithm Based on Copulas.	WINE	2006	DBLP DOI BibTeX RDF
25	Zhenguo Shi, Zongtian Liu, Qiang Wu	Research on au-Parameter Fuzzy Concept Lattice for Grid Resource.	SKG	2006	DBLP DOI BibTeX RDF
25	Ian W. C. Lee, Abraham O. Fapojuwo	Effect of non-stationarities on multifractal analysis.	CCECE	2006	DBLP DOI BibTeX RDF
25	Sumitha Bhandarkar, Nauzad Erach Sadry, A. L. Narasimha Reddy, Nitin H. Vaidya	TCP-DCR: A Novel Protocol for Tolerating Wireless Channel Errors.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	delayed congestion response, Wireless network, TCP, local recovery, channel errors
25	Jean-Christophe Sarrazin, Arnaud Tonnelier, Frédéric Alexandre	A model of contextual effect on reproduced extents in recall tasks: the issue of the imputed motion hypothesis.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
25	Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001	Structuring labeled trees for optimal succinctness, and beyond.	FOCS	2005	DBLP DOI BibTeX RDF
25	Fabrizio Angiulli, Clara Pizzuti	Top-k Closest Pairs Join Query: An Approximate Algorithm for Large High Dimensional Data.	IDEAS	2004	DBLP DOI BibTeX RDF
25	Guy E. Blelloch, Perry Cheng, Phillip B. Gibbons	Scalable Room Synchronizations.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
25	Wu Jigang, Thambipillai Srikanthan	Partial rerouting algorithm for reconfigurable VLSI arrays.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
25	Igor M. Filanovsky	One class of transfer functions with monotonic step response.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
25	Ken Y. Chan, Gregor von Bochmann	Modeling IETF Session Initiation Protocol and Its Services in SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	Telelogic, UML, SIP, Design Methodology, SDL, Software Specification, Use Case, MSC, Internet Telephony
25	Bernd Mohr, Allen D. Malony, Sameer Shende, Felix Wolf 0001	Design and Prototype of a Performance Tool Interface for OpenMP.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	performance analysis, parallel programming, OpenMP
25	Bruno Courcelle	Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.	FoSSaCS	2002	DBLP DOI BibTeX RDF
25	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Linearity and Bisimulation.	FoSSaCS	2002	DBLP DOI BibTeX RDF
25	Dowon Hong, Ku-Young Chang, Heuisu Ryu	Efficient Oblivious Transfer in the Bounded-Storage Model.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
25	J. Davison de St. Germain, Alan Morris, Steven G. Parker, Allen D. Malony, Sameer Shende	Integrating Performance Analysis in the Uintah Software Development Cycle.	ISHPC	2002	DBLP DOI BibTeX RDF
25	Davide Sangiorgi	Types, or: Where's the Difference Between CCS and pi?	CONCUR	2002	DBLP DOI BibTeX RDF
25	Naoki Katoh, Takeshi Tokuyama	Notes on computing peaks in k-levels and parametric spanning trees.	SCG	2001	DBLP DOI BibTeX RDF
25	Sabine Broda, Luís Damas	Counting a Type's Principal Inhabitants.	TLCA	1999	DBLP DOI BibTeX RDF
25	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
25	Holger Hermanns, Markus Lohrey	Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract).	CONCUR	1998	DBLP DOI BibTeX RDF
24	Teena P. Gulabani, Masha Sosonkina, Mark S. Gordon, Curtis L. Janssen, Joseph P. Kenny, Heather Netzloff, Theresa L. Windus	Development of high performance scientific components for interoperability of computing packages.	SpringSim	2009	DBLP DOI BibTeX RDF	NWChem, QM/MM modeling, TAU, interoperability, common component architecture