Search results for "traversal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Aparna S. Varde, Stephen Bique, Elke A. Rundensteiner, David C. Brown, Jianyu Liang, Richard D. Sisson Jr., Ehsan Sheybani, Brian Sayre	Component Selection to Optimize Distance Function Learning in Complex Scientific Data Sets.	DEXA	2008	DBLP DOI BibTeX RDF	Scientific Analysis, Data Mining, Multimedia, Feature Selection
30	Ingo Wald, Solomon Boulos, Peter Shirley	Ray tracing deformable scenes using dynamic bounding volume hierarchies.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF
30	C.-H. Luke Ong	On Model-Checking Trees Generated by Higher-Order Recursion Schemes.	LICS	2006	DBLP DOI BibTeX RDF
30	Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr	Demeter Interfaces: Adaptive Programming Without Surprises.	ECOOP	2006	DBLP DOI BibTeX RDF
30	Wim Vanderperren, Davy Suvée, Bart Verheecke, María Agustina Cibrán, Viviane Jonckers	Adaptive programming in JAsCo.	AOSD	2005	DBLP DOI BibTeX RDF	JAsCo, adaptive programming, aspect-oriented software development, component-based software development
30	Bala Kalyanasundaram, John Noga, Kirk Pruhs, Gerhard J. Woeginger	Caching for Web Searching.	Algorithmica	2002	DBLP DOI BibTeX RDF	Greedy-Dual-Size, Landlord, Web searching, Web Caching, LRU, Least recently used
30	Nicholas Kohout, Seungryul Choi, Dongkeun Kim, Donald Yeung	Multi-Chain Prefetching: Effective Exploitation of Inter-Chain Memory Parallelism for Pointer-Chasing Codes.	IEEE PACT	2001	DBLP DOI BibTeX RDF
30	Martin Hirzel, Amer Diwan, Antony L. Hosking	On the Usefulness of Liveness for Garbage Collection and Leak Detection.	ECOOP	2001	DBLP DOI BibTeX RDF
30	Peter Thiemann 0001	An Algebraic Foundation for Adaptive Programming.	FoSSaCS	2000	DBLP DOI BibTeX RDF
30	Bala Kalyanasundaram, John Noga, Kirk Pruhs, Gerhard J. Woeginger	Caching for Web Searching.	SWAT	2000	DBLP DOI BibTeX RDF
29	Pavel Parízek, Nodir Yuldashev	Extraction of component-environment interaction model using state space traversal.	SAC	2010	DBLP DOI BibTeX RDF	software components, behavior protocols, Java PathFinder
29	Bryan Chadwick, Karl J. Lieberherr	Weaving generic programming and traversal performance.	AOSD	2010	DBLP DOI BibTeX RDF
29	Craig Dillabaugh, Meng He 0001, Anil Maheshwari, Norbert Zeh	I/O and Space-Efficient Path Traversal in Planar Graphs.	ISAAC	2009	DBLP DOI BibTeX RDF
29	Bryan Chadwick, Karl J. Lieberherr	A type system for functional traversal-based aspects.	FOAL	2009	DBLP DOI BibTeX RDF	adaptive programming, functional aspects, traversals, type soundness
29	Deepak Ajwani, Ulrich Meyer 0001	Design and Engineering of External Memory Traversal Algorithms for General Graphs.	Algorithmics of Large and Complex Networks	2009	DBLP DOI BibTeX RDF
29	Pedro V. Sander, Diego Nehab, Eden Chlamtac, Hugues Hoppe	Efficient traversal of mesh edges using adjacency primitives.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	programmable geometry shader, vertex locality, real-time rendering, silhouettes, shadow volumes
29	Kazuo Kuramochi, Takao Kawamura, Kazunori Sugahara	NAT Traversal for Pure P2P e-Learning System.	ICIW	2008	DBLP DOI BibTeX RDF	e-Learning, Mobile Agent, P2P, NAT
29	Shao-Shin Hung, Damon Shing-Min Liu	Using Hypergraph-based Clustering Scheme for Traversal Prediction in Virtual Environments.	CIDM	2007	DBLP DOI BibTeX RDF
29	Jason Kealey, Daniel Amyot	Enhanced Use Case Map Traversal Semantics.	SDL Forum	2007	DBLP DOI BibTeX RDF
29	Ali Ibrahim, William R. Cook	Automatic Prefetching by Traversal Profiling in Object Persistence Architectures.	ECOOP	2006	DBLP DOI BibTeX RDF
29	Robert Niewiadomski, José Nelson Amaral, Robert C. Holte	A Parallel External-Memory Frontier Breadth-First Traversal Algorithm for Clusters of Workstations.	ICPP	2006	DBLP DOI BibTeX RDF
29	Jiadong Ren, Xiaojian Zhang, Huili Peng	IMFTS: High-Speed Mining Frequent Traversal Sequences with Bidirectional Constraints.	Web Intelligence	2006	DBLP DOI BibTeX RDF
29	Tzu-Chi Huang, Ce-Kuen Shieh, Wen-Huang Lai, Yu-Ben Miao	Smart Tunnel Union for NAT Traversal.	NCA	2005	DBLP DOI BibTeX RDF
29	Antonio Theophilo Costa, Markus Endler, Renato Cerqueira	Evaluation of Three Approaches for CORBA Firewall/NAT Traversal.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
29	Rui Wu, Wansheng Tang, Ruiqing Zhao	Web Mining of Preferred Traversal Patterns in Fuzzy Environments.	RSFDGrC (2)	2005	DBLP DOI BibTeX RDF
29	Xiaoyang Guan	Face Traversal Routing on Edge Dynamic Graphs.	IPDPS	2005	DBLP DOI BibTeX RDF
29	Show-Jane Yen, Yue-Shi Lee, Min-Chi Hsieh	An Efficient Incremental Algorithm for Mining Web Traversal Patterns.	ICEBE	2005	DBLP DOI BibTeX RDF
29	Yue-Shi Lee, Min-Chi Hsieh, Show-Jane Yen	Efficient Approach for Interactively Mining Web Traversal Patterns.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
29	Xugang Wang, Qianni Deng	VIP: A P2P Communication Platform for NAT Traversal.	ISPA	2005	DBLP DOI BibTeX RDF
29	Se-Chang Son, Bill Allcock, Miron Livny	CODO: firewall traversal by cooperative on-demand opening.	HPDC	2005	DBLP DOI BibTeX RDF
29	Se-Chang Son, Matthew Farrellee, Miron Livny	A Generic Proxy Mechanism for Secure Middlebox Traversal.	CLUSTER	2005	DBLP DOI BibTeX RDF
29	Xia Chen 0001, Minqiang Li, Wei Zhao, Ding-Yi Chen	Discovering Conceptual Page Hierarchy of a Web Site from User Traversal History.	ADMA	2005	DBLP DOI BibTeX RDF
29	Michael Stukas, Douglas C. Sicker	An Evaluation of VoIP Traversal of Firewalls and NATs within an Enterprise Environment.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	SIP, VoIP, firewall, enterprise, NAT
29	Edgar Chávez, Jaroslav Opatrny, Stefan Dobrev, Ladislav Stacho, Evangelos Kranakis, Jorge Urrutia	Traversal of a Quasi-Planar Subdivision without Using Mark Bits.	IPDPS	2004	DBLP DOI BibTeX RDF
29	Taisuke Izumi, Toshimitsu Masuzawa	Ant-Based Approach to Mobile Agent Traversal.	BioADIT	2004	DBLP DOI BibTeX RDF
29	Enric Pastor, Marco A. Peña	Combining Simulation and Guided Traversal for the Verification of Concurrent Systems.	DATE	2003	DBLP DOI BibTeX RDF
29	Yossi Matias, Ely Porat	Efficient Pebbling for List Traversal Synopses.	ICALP	2003	DBLP DOI BibTeX RDF
29	Jordi Levy, Mateu Villaret	Context Unification and Traversal Equations.	RTA	2001	DBLP DOI BibTeX RDF
29	Hiroyuki Higuchi, Fabio Somenzi	Lazy group sifting for efficient symbolic state traversal of FSMs.	ICCAD	1999	DBLP DOI BibTeX RDF
29	C. A. J. van Eijk	Sequential Equivalence Checking without State Space Traversal.	DATE	1998	DBLP DOI BibTeX RDF
29	Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi	Automatic state space decomposition for approximate FSM traversal based on circuit analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
29	Tirumaleswar Reddy, Alan B. Johnston, Philip Matthews, Jonathan D. Rosenberg	Traversal Using Relays around NAT (TURN): Relay Extensions to Session Traversal Utilities for NAT (STUN).	RFC	2020	DBLP DOI BibTeX RDF
29	Boonyarit Changaival, Martin Rosalie, Grégoire Danoy, Kittichai Lavangnananda, Pascal Bouvry	Chaotic Traversal (CHAT): Very Large Graphs Traversal Using Chaotic Dynamics.	Int. J. Bifurc. Chaos	2017	DBLP DOI BibTeX RDF
29	Tirumaleswar Reddy, Ram Mohan Ravindranath, Muthu Arul Mozhi Perumal, Alper E. Yegin	Problems with Session Traversal Utilities for NAT (STUN) Long-Term Authentication for Traversal Using Relays around NAT (TURN).	RFC	2014	DBLP DOI BibTeX RDF
29	Rohan Mahy, Philip Matthews, Jonathan D. Rosenberg	Traversal Using Relays around NAT (TURN): Relay Extensions to Session Traversal Utilities for NAT (STUN).	RFC	2010	DBLP DOI BibTeX RDF
24	Rui Cai, Jiang-Ming Yang, Wei Lai, Yida Wang 0008, Lei Zhang 0001	iRobot: an intelligent crawler for web forums.	WWW	2008	DBLP DOI BibTeX RDF	forum crawler, sitemap construction, traversal path selection
24	Fodé Touré, Karim Baïna, Khalid Benali	An Efficient Algorithm for Workflow Graph Structural Verification.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	business process validation, structural checking, reduction-based algorithm, transformation of model, workflow, Business processes, graph traversal
24	Chun-Ming Leung, Yuen-Yan Chan	Network Forensic on Encrypted Peer-to-Peer VoIP Traffics and the Detection, Blocking, and Prioritization of Skype Traffics.	WETICE	2007	DBLP DOI BibTeX RDF	Enterprise Network Security, Network Foren- sics, Traffic Prioritiza- tion, Reverse Engineering, Blocking, Traffic Analysis, Skype, NAT Traversal
24	Jin Li	Peer-to-peer multimedia applications.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	NAT/firewall traversal, P2P economy, erasure resilient coding, scheduling, peer-to-peer, attack, overlay, distributed debugging, peer selection
24	Thomas Lutkenhouse, Michael L. Nelson, Johan Bollen	Distributed, real-time computation of community preferences.	Hypertext	2005	DBLP DOI BibTeX RDF	link computation, smart objects, buckets, traversal patterns
24	Wen-Li Wang, Mei-Huei Tang	User-Oriented Reliability Modeling for a Web System.	ISSRE	2003	DBLP DOI BibTeX RDF	User-Oriented Reliability Modeling, Transition Tree, Depth-First Traversal, Dynamic Programming, Flow Graph, Cyclomatic Complexity
24	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate: a practical design pattern for generic programming.	TLDI	2003	DBLP DOI BibTeX RDF	rank-2 types, type cast, generic programming, traversal
24	Cheol-Hi Lee, Yun-Mo Koo, Yeong-Gil Shin	Template-based rendering of run-length encoded volumes.	PG	1997	DBLP DOI BibTeX RDF	object-order template-based volume rendering method, run-length encoded volumes, volume ray casting, rendering speed, ray-by-ray volume access pattern, ray path length, transparent regions, principal axis direction, object-order volume traversal, image quality, rendering (computer graphics), acceleration technique, interactive manipulation
24	Ken Yocum, Jeffrey S. Chase, Andrew J. Gallatin, Alvin R. Lebeck	Cut-Through Delivery in Trapeze: An Exercise in Low-Latency Messaging.	HPDC	1997	DBLP DOI BibTeX RDF	message switching, cut-through delivery, low-latency messaging, I/O bus bandwidths, host I/O DMA transfers, network traversal, messaging substrate, network memory, Trapeze prototype, virtual memory pages, Myrinet cluster, DEC AlphaStations, network interfaces, computer clusters, network technology, application performance, messaging systems
24	Eiji Harada, Janak H. Patel	Overhead reduction techniques for hierarchical fault simulation.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	overhead reduction techniques, hierarchical fault simulation, simulation overhead, concurrent method, multi-list-traversal method, one-pass fault simulation strategy, characteristic vectors, contiguous concurrent machines, ISCAS benchmark circuits, fault ordering, logic test sequences, fault diagnosis, logic testing, combinational circuits, logic CAD, digital simulation, circuit analysis computing, concurrent engineering, multivalued logic circuits, ULSI, ULSI
24	Achim Weigel, S. Baumann, J. Rohrschneider	Lexical postprocessing by heuristic search and automatic determination of the edit costs.	ICDAR	1995	DBLP DOI BibTeX RDF	lexical postprocessing, edit costs determination, dictionary based lexical postprocessing, character hypotheses lattice, weighted edit distance, best word search, depth first traversal, iterative supervised automatic learning algorithm, character recognition, heuristic search, vocabulary, recognition rate, segmentation algorithm
24	Tai-Kuo Woo, Stanley Y. W. Su	PCBN: A High-Performance Partitionable Circular Bus Network for Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	high-performance partitionable circular bus network, distributednetwork, graph traversal algorithm, idlingproblem, nonconflicting requests, distributed systems, synchronization, distributed processing, synchronisation, graph colouring, maximal independent sets
24	Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda	An approach to sequential circuit diagnosis based on formal verification techniques.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	FSM''s, symbolic state space traversal techniques, formal verification, diagnosis, Binary decision diagrams
23	Li Li 0001, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
23	Amnon Ta-Shma, Uri Zwick	Deterministic rendezvous, treasure hunts and strongly universal exploration sequences.	SODA	2007	DBLP BibTeX RDF
23	Shao Tao, Akkihebbal L. Ananda, Mun Choon Chan	Greedy Face Routing with Face ID Support in Wireless Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
23	João Paulo Fernandes, Alberto Pardo, João Saraiva	A shortcut fusion rule for circular program calculation.	Haskell	2007	DBLP DOI BibTeX RDF	shortcut fusion, deforestation, program calculation, circular programming
23	Maria Ferre, Anna Puig, Dani Tost	Decision trees for accelerating unimodal, hybrid and multimodal rendering models.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Multimodal rendering, Decision trees, Volume rendering, Run-length encoding, Hybrid rendering
23	Nilo Stolte	Arbitrary 3D Resolution Discrete Ray Tracing of Implicit Surfaces.	DGCI	2005	DBLP DOI BibTeX RDF
23	Kristal T. Pollack, Scott A. Brandt	Efficient Access Control for Distributed Hierarchical File Systems.	MSST	2005	DBLP DOI BibTeX RDF
23	Stefan Dobrev, Jesper Jansson 0001, Kunihiko Sadakane, Wing-Kin Sung	Finding Short Right-Hand-on-the-Wall Walks in Graphs.	SIROCCO	2005	DBLP DOI BibTeX RDF
23	Xianglong Huang, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss, Zhenlin Wang, Perry Cheng	The garbage collection advantage: improving program locality.	OOPSLA	2004	DBLP DOI BibTeX RDF	compiler-assisted, adaptive, locality, generational
23	Yue-Shi Lee, Show-Jane Yen, Ghi-Hua Tu, Min-Chi Hsieh	Mining Traveling and Purchasing Behaviors of Customers in Electronic Commerce Environment.	EEE	2004	DBLP DOI BibTeX RDF
23	Christian Henning, Peter Stephenson	Accelerating the ray tracing of height fields.	GRAPHITE	2004	DBLP DOI BibTeX RDF	ray tracing, terrain rendering, height fields
23	Wook Choi, Sajal K. Das 0001, Il ho Lee	Nomadic Control Packet-Based Dynamic Route Maintenance Scheme for Adaptive Routing in Mobile Ad Hoc Networks.	LCN	2003	DBLP DOI BibTeX RDF
23	Priyank Kalla, Maciej J. Ciesielski	A comprehensive approach to the partial scan problem using implicitstate enumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
23	Martin Hirzel, Amer Diwan, Johannes Henkel	On the usefulness of type and liveness accuracy for garbage collection and leak detection.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	liveness accuracy, type accuracy, program analysis, leak detection, Conservative garbage collection
23	Irit Katriel, Ulrich Meyer 0001	Elementary Graph Algorithms in External Memory.	Algorithms for Memory Hierarchies	2002	DBLP DOI BibTeX RDF
23	H. K. Dai 0001	Optimizing a Computational Method for Length Lower Bounds for Reflecting Sequences.	COCOON	2001	DBLP DOI BibTeX RDF
23	Magnus Karlsson 0002, Fredrik Dahlgren, Per Stenström	A Prefetching Technique for Irregular Accesses to Linked Data Structures.	HPCA	2000	DBLP DOI BibTeX RDF
23	David R. Musser, Arturo J. Sánchez-Ruíz	Theory and Generality of Complete Traversals.	Generic Programming	1998	DBLP DOI BibTeX RDF	Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
23	Kavita Ravi, Fabio Somenzi	High-density reachability analysis.	ICCAD	1995	DBLP DOI BibTeX RDF
23	Roy Rada	Converting a Textbook to Hypertext.	ACM Trans. Inf. Syst.	1992	DBLP DOI BibTeX RDF	document markup, human-computer interaction, electronic publishing, hypermedia models
23	Stephan Olariu, C. Michael Overstreet, Zhaofang Wen	An Optimal Parallel Algorithm to Reconstruct a Binary Tree from its Traversals.	ICCI	1991	DBLP DOI BibTeX RDF	Algorithms, Parallel algorithms, PRAM, Binary trees, Traversals, Ordered trees
22	Jieh-Shan Yeh, Ying-Lin Lin, Yu-Cheng Chen	Mining Preferred Traversal Paths with HITS.	WISM	2009	DBLP DOI BibTeX RDF	Preferred navigation patterns, Web usage mining, Preference, Web structure mining, HITS algorithm
22	Robert M. Languedoc, James C. McKim Jr., Joseph G. Trausch	Using a recursive traversal algorithm with an active composite pattern in swing applications.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visitor, composite, recursion, desktop
22	Timo Aila, Samuli Laine	Understanding the efficiency of ray traversal on GPUs.	High Performance Graphics	2009	DBLP DOI BibTeX RDF	SIMT, ray tracing, SIMD
22	Peter Djeu, Sean Keely, Warren A. Hunt	Accelerating shadow rays using volumetric occluders and modified kd-tree traversal.	High Performance Graphics	2009	DBLP DOI BibTeX RDF	extended ray order, quick descent breadth-first search, shadow rays, volumetric occluders, soft shadows
22	Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree	Representation and Traversal of Large Clabject Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Clabject, Efficient Representation, Multi-Level Modeling
22	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	An Interpolation Method for CLP Traversal.	CP	2009	DBLP DOI BibTeX RDF
22	Dae Hyun Yum, Jae Woo Seo, Sungwook Eom, Pil Joong Lee	Single-Layer Fractal Hash Chain Traversal with Almost Optimal Complexity.	CT-RSA	2009	DBLP DOI BibTeX RDF
22	Yunior Ramírez-Cruz, Aurora Pons-Porrata	Spanish Nested Named Entity Recognition Using a Syntax-Dependent Tree Traversal-Based Strategy.	MICAI	2008	DBLP DOI BibTeX RDF
22	Jyotishman Pathak, Guoqian Jiang, Sridhar O. Dwarkanath, James D. Buntrock, Christopher G. Chute	Adopting Graph Traversal Techniques for Context-Driven Value Sets Extraction from Biomedical Knowledge Sources.	ICSC	2008	DBLP DOI BibTeX RDF	Value Sets, Ontologies, Graph Theory, Modularity, Vocabularies
22	Xiaojian Zhang, Huili Peng, Chao Shao	Mining Top-K Closed Frequent Traversal Sequences from Session Streams.	FSKD (5)	2008	DBLP DOI BibTeX RDF
22	Yusuke Hamada, Shinichi Motomura, Takao Kawamura, Kazunori Sugahara	NAT Traversal Method for Multi-Agent-Based Meeting Scheduling System.	ICIW	2008	DBLP DOI BibTeX RDF	Meeting Scheduling System, Mobile Agent, NAT
22	Asheq Khan, Chunming Qiao, Satish K. Tripathi	Mobile Traversal Schemes based on Triangulation Coverage.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	mobile sensor nodes, energy-efficiency, coverage, triangulation, failure-tolerance
22	Jiadong Ren, Xiaojian Zhang, Huili Peng	On Mining Dynamic Web ClickStreams for Frequent Traversal Sequences.	CIDM	2007	DBLP DOI BibTeX RDF
22	Cang Ye	Polar Traversability Index: A Measure of terrain traversal property for mobile robot navigation in urban environments.	SMC	2007	DBLP DOI BibTeX RDF
22	Ingo Wald, Thiago Ize, Andrew E. Kensler, Aaron Knoll, Steven G. Parker	Ray tracing animated scenes using coherent grid traversal.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF
22	Oliver Batchelor, R. Mukundan 0001, Richard D. Green	Incremental Voxel Colouring by Ray Traversal.	CGIV	2006	DBLP DOI BibTeX RDF
22	Nicolas Bonichon, Cyril Gavoille, Arnaud Labourel	Short Labels by Traversal and Jumping.	SIROCCO	2006	DBLP DOI BibTeX RDF
22	Yung-Li Chang, Hsiang-Kai Liao, Ce-Kuen Shieh, Yu-Ben Miao	KaiKai: A NAT Traversal Approach by Using Protocol Behavior Analysis.	IIH-MSP	2006	DBLP DOI BibTeX RDF
22	Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya	Extended abstract: transition traversal coverage estimation for symbolic model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
22	MinSeok Jang, Weon-Goo Kim, Yon-sik Lee, Jongwook Woo	Traversal Pattern Mining in Web Environment.	WINE	2005	DBLP DOI BibTeX RDF
22	David Ward, Fabio Somenzi	Automatic Generation of Hints for Symbolic Traversal.	CHARME	2005	DBLP DOI BibTeX RDF