Search results for "Arcs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
86	Ann Bengtsson, Jan-Olof Eklundh	Shape Representation by Multiscale Contour Approximation.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	scale stability, multiscale contour approximation, qualitative descriptions, straight arcs, curved arcs, points delimiting the arcs, inflexion points, scale-space property of causality, computer vision, computerised picture processing, computerised pattern recognition, polygons, shape representation, corners
76	Marina Lisnyak	Theoretical, numerical and experimental study of DC and AC electric arcs: Modeling and experimental investigations of default arcs propagating along the electric bus-bars for aeronautical applications. (Étude théorique, numérique et expérimentale d'arcs électrique continu et alternatif / Étude théorique, numérique et expérimentale d'arcs électrique continu et alternatif: Modélisation et expérimentation d'arcs de défaut se propageant sur des barres de distribution électrique dédiées aux applications aéronautiques).		2018	RDF
73	Behrooz Kamgar-Parsi, Behzad Kamgar-Parsi	Matching 3-D arcs.	CVPR	1997	DBLP DOI BibTeX RDF	3-D arcs, efficient matching, polygonal arcs, corresponding line segments, transformation, decomposition, image matching, line segments
71	Leonid Khachiyan, Endre Boros, Konrad Borys, Khaled M. Elbassioni, Vladimir Gurvich, Gábor Rudolf, Jihui Zhao	On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Dijkstra’s algorithm, Most vital arcs problem, Cyclic game, Maxmin mean cycle, Minimal vertex cover, Network inhibition, Network interdiction, Approximation algorithm
71	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
69	T. L. Alderson, Aiden A. Bruen	Maximal AMDS codes.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	NMDS codes, AMDS codes, (n, r)-arcs, Cubic curves, Complete arcs, Code extension, Arcs
66	Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev	Unfolding and Finite Prefix for Nets with Read Arcs.	CONCUR	1998	DBLP DOI BibTeX RDF
64	Søren Christensen, Niels Damgaard Hansen	Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
62	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
61	Marcel Worring, Arnold W. M. Smeulders	Digitized Circular Arcs: Characterization and Parameter Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	parameter estimation, digitization, curvature, precision, Circular arcs
59	Igor B. Bourdonov	Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
59	Vladlen Koltun	Segment Intersection Searching Problems in General Settings.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
59	Vladlen Koltun	Segment intersection searching problems in general settings.	SCG	2001	DBLP DOI BibTeX RDF
59	Pankaj K. Agarwal, Micha Sharir	Red-Blue Intersection Detection Algorithms, with Applications to Motion Planning and Collision Detection.	SCG	1988	DBLP DOI BibTeX RDF
57	Chia-Ling Hsu, Leuo-hong Wang, Chau-fo Hong, Fang-Cheng Hsu, Meng-Yuan Sung, Ping-heng Tsai	The KeyGraph Perspective in ARCS Motivation Model.	ICALT	2006	DBLP DOI BibTeX RDF
57	Firas Alhalabi, Laure Tougne	Toward Polygonalisation of Thick Discrete Arcs.	CAIP	2005	DBLP DOI BibTeX RDF
52	H. C. M. Kleijn, Maciej Koutny	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.	CONCUR	2002	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
52	Douglas R. Heisterkamp, Prabir Bhattacharya	Matching of 3D Polygonal Arcs.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Polygonal arcs, mismatch measure, matching, eigenvalues, distance measure, quaternions, rotation matrix
51	Sariel Har-Peled, Micha Sharir	Online point location in planar arrangements and its applications.	SODA	2001	DBLP BibTeX RDF
51	Pentti Laasonen	On the Truncation Error of Discrete Approximations to the Solutions of Dirichlet Problems in a Domain with Corners.	J. ACM	1958	DBLP DOI BibTeX RDF
49	Bernard Kerr	THREAD ARCS: An Email Thread Visualization.	INFOVIS	2003	DBLP DOI BibTeX RDF	user interfaces, information visualization, email, threads, conversations, electronic mail, tree structures, discussions
49	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
49	C. C. Cheng, Christian A. Duncan, Michael T. Goodrich, Stephen G. Kobourov	Drawing Planar Graphs with Circular Arcs.	GD	1999	DBLP DOI BibTeX RDF
49	Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs.	ICATPN	1997	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
49	Nadia Busi, G. Michele Pinna	Synthesis of Nets with Inhibitor Arcs.	CONCUR	1997	DBLP DOI BibTeX RDF
42	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Well-structured languages.	Acta Informatica	2007	DBLP DOI BibTeX RDF
40	Huqiu Zhang, Aad P. A. van Moorsel	Fast Generation of Scale Free Networks with Directed Arcs.	EPEW	2009	DBLP DOI BibTeX RDF
40	Pavel Emeliyanenko, Eric Berberich, Michael Sagraloff	Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast.	ISVC (1)	2009	DBLP DOI BibTeX RDF	curve rendering, visualization, Algebraic curves, exact computation, geometric computing
40	Efi Fogel, Ophir Setter, Dan Halperin	Arrangements of geodesic arcs on the sphere.	SCG	2008	DBLP DOI BibTeX RDF	robustness and precision, arrangements, voronoi, cgal
40	David W. Nellans, Vamshi Krishna Kadaru, Erik Brunvand	ARCS: an architectural level communication driven simulator.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	Java, asynchronous communication, architectural simulation
40	Bong-Ju Jang, Kwang-Seok Moon, Young Huh, Ki-Ryong Kwon	A New Digital Watermarking for Architectural Design Drawing Using LINEs and ARCs Based on Vertex.	IWDW	2003	DBLP DOI BibTeX RDF	architectural design drawing, CAD, digital watermarking, copyright protection, geometrical attack
40	Patricia A. Evans	Finding Common Subsequences with Arcs and Pseudoknots.	CPM	1999	DBLP DOI BibTeX RDF
40	Bettina Klinz, Gerhard J. Woeginger	One, Two, Three, Many, or: Complexity Aspects of Dynamic Network Flows with Dedicated Arcs.	WG	1996	DBLP DOI BibTeX RDF
37	Franz-Josef Brandenburg, Mao-cheng Cai	Shortest Path and Maximum Flow Problems in Networks with Additive Losses and Gains.	FAW	2009	DBLP DOI BibTeX RDF	extended networks, lossy and gainy arcs, max-flow, unit-loss networks, shortest path, NP-hard
37	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
37	Eugene Bodansky, Alexander Gribov	Approximation of a Polyline with a Sequence of Geometric Primitives.	ICIAR (2)	2006	DBLP DOI BibTeX RDF	Polygonal line, Straight segments, Free curves, Approximation, Compression, Recognition, Smoothing, Geometric primitives, Noise filtering, Polyline, Circular arcs
37	Pasquale Foggia, Carlo Sansone, Francesco Tortorella, Mario Vento	Definition and Validation of a Distance Measure Between Structural Primitives.	Pattern Anal. Appl.	1999	DBLP DOI BibTeX RDF	Nearest neighbour classifier, Shape distance, Optical character recognition, Character recognition, Graph matching, Structural descriptions, Circular arcs
37	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
35	Leandro Motta Barros, Soraia Raupp Musse	Towards consistency in interactive storytelling: Tension arcs and dead-ends.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	riddles, story dead-ends, tension arcs, planning, narratives, Interactive storytelling
35	Yasuhito Suenaga, Takahiko Kamae, Tomonori Kobayashi	A High-Speed Algorithm for the Generation of Straight Lines and Circular Arcs.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	curve generation, digital plotters, error criteria, thresholding, incremental, graphic displays, straight lines, numerical control, Circular arcs
34	Knut Graichen, Nicolas Petit, Andreas Kugi	Transformation of optimal control problems with a state constraint avoiding interior boundary conditions.	CDC	2008	DBLP DOI BibTeX RDF
34	Cees Duin	A Branch-Checking Algorithm for All-Pairs Shortest Paths.	Algorithmica	2005	DBLP DOI BibTeX RDF	Dynamic programming, Shortest path, Shortest path tree
34	Wei Yu 0003, K. J. Ray Liu	Attack-resistant cooperation stimulation in autonomous ad hoc networks.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
34	Igor B. Bourdonov	Traversal of an Unknown Directed Graph by a Finite Robot.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
34	Yuhua Liu, Shengsheng Yu, Jingzhong Mao, Peng Yang	Optimal Capacity Expansion Arc Algorithm on Networks.	CIS	2004	DBLP DOI BibTeX RDF
34	Alon Efrat, Cesim Erten, Stephen G. Kobourov	Fixed-Location Circular-Arc Drawing of Planar Graphs.	GD	2003	DBLP DOI BibTeX RDF
34	Pankaj K. Agarwal, Micha Sharir	Pseudo-line arrangements: duality, algorithms, and applications.	SODA	2002	DBLP BibTeX RDF
34	Peter Sanders 0001, Berthold Vöcking	Random Arc Allocation and Applications.	SWAT	2002	DBLP DOI BibTeX RDF
34	Subhashis Majumder, Michael L. Bushnell, Vishwani D. Agrawal	Path Delay Testing: Variable-Clock Versus Rated-Clock.	VLSI Design	1998	DBLP DOI BibTeX RDF	rated-clock testing, slow-clock testing, Delay testing, path delay faults, sequential circuit test
34	Jeffrey D. Ullman, Mihalis Yannakakis	The Input/Output Complexity of Transitive Closure.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
34	Vicki H. Allan	Data dependency graph bracing.	MICRO	1988	DBLP BibTeX RDF
34	Yannis E. Ioannidis, Miron Livny	Data Modeling in DeLAB.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
32	Anthony Knittel	An activation reinforcement based classifier system for balancing generalisation and specialisation (ARCS).	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	accessibility, reinforcement learning, memory, learning classifier systems, concepts
32	Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn	Soundness of Workflow Nets with Reset Arcs.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
32	Atsushi Ohta, Chihiro Kato, Kohkichi Tsuji	Structural analysis of Petri nets with batch processing arcs.	ISCAS	2006	DBLP DOI BibTeX RDF
32	Taekyung Kim, Taesuk Oh, Yong Cheol Kim, Seong Jong Choi	Dirty-Paper Trellis-Code Watermarking with Orthogonal Arcs.	PSIVT	2006	DBLP DOI BibTeX RDF	informed watermarking, orthogonal arc, trellis-code
32	Jeong Han Kim, Van H. Vu	Small Complete Arcs in Projective Planes.	Comb.	2003	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 05B25
32	András Gács, Zsuzsa Weiner	On (q + t, t)-Arcs of Type (0, 2, t).	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF
32	Robert Connelly, Erik D. Demaine, Günter Rote	Straightening Polygonal Arcs and Convexifying Polygonal Cycles.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
32	Paolo Baldan, Roberto Bruni, Ugo Montanari	Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.	WADT	2002	DBLP DOI BibTeX RDF
32	Ron Wein	High-Level Filtering for Arrangements of Conic Arcs.	ESA	2002	DBLP DOI BibTeX RDF
32	Eric Berberich, Arno Eigenwillig, Michael Hemmer, Susan Hert, Kurt Mehlhorn, Elmar Schömer	A Computational Basis for Conic Arcs and Boolean Operations on Conic Polygons.	ESA	2002	DBLP DOI BibTeX RDF
32	H. C. M. Kleijn, Maciej Koutny	Process Semantics of P/T-Nets with Inhibitor Arcs.	ICATPN	2000	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
32	Paolo Baldan, Nadia Busi, Andrea Corradini 0001, G. Michele Pinna	Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.	CONCUR	2000	DBLP DOI BibTeX RDF
32	Walter Vogler	Efficiency of Asynchronous Systems and Read Arcs in Petri Nets.	ICALP	1997	DBLP DOI BibTeX RDF
32	Walter Vogler	Partial Order Semantics and Read Arcs.	MFCS	1997	DBLP DOI BibTeX RDF
32	Fernando de Ferreira Rezende, Theo Härder, Andreas Gloeckner, Jörg Lutze	Detection Arcs for Deadlock Management in Nested Transactions and their Performance.	BNCOD	1997	DBLP DOI BibTeX RDF
32	Anindya Datta	Research Issues in Databases for ARCS: Active Rapidly Changing Data Systems.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
32	Herbert Edelsbrunner, Leonidas J. Guibas, John Hershberger 0001, János Pach, Richard Pollack, Raimund Seidel, Micha Sharir, Jack Snoeyink	On Arrangements of Jordan Arcs with Three Intersections per Pair.	SCG	1988	DBLP DOI BibTeX RDF
30	Ivan N. Landjev, Assya Rousseva	Divisible Arcs, Divisible Codes, and the Extension Problem for Arcs and Codes.	Probl. Inf. Transm.	2019	DBLP DOI BibTeX RDF
30	César Rodríguez	Verification based on unfoldings of Petri nets with read arcs. (Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture).		2013	RDF
30	Kenneth A. Hawick, Heath A. James	Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs.	FCS	2008	DBLP BibTeX RDF
30	Stefano Marcugini, Alfredo Milani, Fernanda Pambianco	Complete arcs in PG(2, 25): The spectrum of the sizes and the classification of the smallest complete arcs.	Discret. Math.	2007	DBLP DOI BibTeX RDF
30	Tamás Szhonyi	On the Embedding of -Arcs is Maximal Arcs.	Des. Codes Cryptogr.	1999	DBLP DOI BibTeX RDF
30	Giorgio Faina, Fernanda Pambianco	On some 10-arcs for deriving the minimum order for complete arcs in small projective planes.	Discret. Math.	1999	DBLP DOI BibTeX RDF
30	Leo Storme, Joseph A. Thas	k-Arcs and dual k-arcs.	Discret. Math.	1994	DBLP DOI BibTeX RDF
30	Joseph A. Thas	Some Results Concerning {(q + 1)(n - 1); n}-Arcs and {(q + 1)(n - 1) + 1; n}-Arcs in Fintie Projective Planes of Order q.	J. Comb. Theory, Ser. A	1975	DBLP DOI BibTeX RDF
29	Georgios I. Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck (eds.)	Architecture of Computing Systems - 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings	ARCS	2023	DBLP DOI BibTeX RDF
29	Jonas Rabenstein, Dustin T. Nguyen, Oliver Giersch, Christian Eichler, Timo Hönig, Jörg Nolte, Wolfgang Schröder-Preikschat	Back to the Core-Memory Age: Running Operating Systems in NVRAM only.	ARCS	2023	DBLP DOI BibTeX RDF
29	Shima Hosseinzadeh, Amirhossein Parvaresh, Dietmar Fey	Optimization of OLAP In-Memory Database Management Systems with Processing-In-Memory Architecture.	ARCS	2023	DBLP DOI BibTeX RDF
29	Chao Qian 0009, Tianheng Ling, Gregor Schiele	Energy Efficient LSTM Accelerators for Embedded FPGAs Through Parameterised Architecture Design.	ARCS	2023	DBLP DOI BibTeX RDF
29	Markus Görlich-Bucher, Michael Heider, Jörg Hähner	Predicting Physical Disturbances in Organic Computing Systems Using Automated Machine Learning.	ARCS	2023	DBLP DOI BibTeX RDF
29	Lars Wrenger, Dominik Töllner, Daniel Lohmann	TOSTING: Investigating Total Store Ordering on ARM.	ARCS	2023	DBLP DOI BibTeX RDF
29	Utkarsh Raj, Simon Meckel, Aleksey Koschowoj, Mathias Pacher, Roman Obermaisser, Uwe Brinkschulte	Self-adaptive Diagnosis and Reconfiguration in ADNA-Based Organic Computing.	ARCS	2023	DBLP DOI BibTeX RDF
29	Theologos Anthimopulos, Georgios Keramidas, Vasilios I. Kelefouras, Iakovos Stamoulis	A Comparative Study of Neural Network Compilers on ARMv8 Architecture.	ARCS	2023	DBLP DOI BibTeX RDF
29	Jörg Keller 0001, Saskia Langsdorf	Error Codes in and for Network Steganography.	ARCS	2023	DBLP DOI BibTeX RDF
29	Thomas Dangl, Stewart Sentanoe, Hans P. Reiser	Retrofitting AMD x86 Processors with Active Virtual Machine Introspection Capabilities.	ARCS	2023	DBLP DOI BibTeX RDF
29	Kevin Weston, Vahid Janfaza, Abhishek Taur, Dhara Mungra, Arnav Kansal, Mohamed Zahran, Abdullah Muzahid	Post-Silicon Customization Using Deep Neural Networks.	ARCS	2023	DBLP DOI BibTeX RDF
29	Fritjof Steinert, Benno Stabernack	FPGA-Based Network-Attached Accelerators - An Environmental Life Cycle Perspective.	ARCS	2023	DBLP DOI BibTeX RDF
29	Aleksey Koschowoj, Uwe Brinkschulte	Abstract Artificial DNA's Improved Time Bounds.	ARCS	2023	DBLP DOI BibTeX RDF
29	Markus Görlich-Bucher, Michael Heider, Tobias Ciemala, Jörg Hähner	A Decision-Theoretic Approach for Prioritizing Maintenance Activities in Organic Computing Systems.	ARCS	2023	DBLP DOI BibTeX RDF
29	Raphael Schwinger, Ghassan Al-Falouji, Sven Tomforde	Autonomous Ship Collision Avoidance Trained on Observational Data.	ARCS	2023	DBLP DOI BibTeX RDF
29	Georg Duchrau, Michael Gössel	Modified Cross Parity Codes for Adjacent Double Error Correction.	ARCS	2023	DBLP DOI BibTeX RDF
29	Jonas Diegelmann, Philipp Homann, Mathias Pacher, Uwe Brinkschulte	Towards Dependable Unmanned Aerial Vehicle Swarms Using Organic Computing.	ARCS	2023	DBLP DOI BibTeX RDF
29	Nikita Smirnov, Sven Tomforde	Real-Time Data Transmission Optimization on 5G Remote-Controlled Units Using Deep Reinforcement Learning.	ARCS	2023	DBLP DOI BibTeX RDF
29	Klajd Zyla, Florian Maurer 0003, Thomas Wild, Andreas Herkersdorf	CoLeCTs: Cooperative Learning Classifier Tables for Resource Management in MPSoCs.	ARCS	2023	DBLP DOI BibTeX RDF
29	Antoni Portero, Carlos Falquez, Nam Ho, Polydoros Petrakis, Stepan Nassyr, Manolis Marazakis, Romain Dolbeau, Jorge Alejandro Nocua Cifuentes, Luis Bertran Alvarez, Dirk Pleiter, Estela Suarez	COMPESCE: A Co-design Approach for Memory Subsystem Performance Analysis in HPC Many-Cores.	ARCS	2023	DBLP DOI BibTeX RDF
29	Ramon Wirsch, Christian Hochberger	Improved Condition Handling in CGRAs with Complex Loop Support.	ARCS	2023	DBLP DOI BibTeX RDF
29	Melanie Feist, Mathias Pacher, Uwe Brinkschulte	Evaluating the Comprehensive Adaptive Chameleon Middleware for Mixed-Critical Cyber-Physical Networks.	ARCS	2023	DBLP DOI BibTeX RDF