|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 302 occurrences of 226 keywords
|
|
|
Results
Found 401 publication records. Showing 401 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
69 | Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis |
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Alessandro Giua, Xiaolan Xie |
Control of Safe Ordinary Petri Nets Using Unfolding. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
forbidden markings, Petri nets, unfolding, deadlock avoidance |
46 | Shigang Li 0001, Yuta Shimomura |
Lane marking detection by side Fisheye Camera. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Bing-Fei Wu, Chuan-Tsai Lin |
Robust lane detection and tracking for driving assistance systems. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Sven Koenig, Yaxin Liu |
Terrain coverage with ant robots: a simulation study. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
multi-agent simulation, multi-agent coordination |
38 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs |
38 | Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein |
Surviving information warfare attacks on databases. |
S&P |
1997 |
DBLP DOI BibTeX RDF |
information warfare attack survival, fault tolerance approach, damaged data, partially repaired data, snapshot algorithm, damage markings, consistency preserving normal transactions, countermeasure transactions, databases, protocol, security of data, integrity constraints, data security, database consistency |
38 | Masato Notomi, Tadao Murata |
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs |
38 | Jeffrey L. Berger, Jeffrey Picciotto, John P. L. Woodward, Paul T. Cummings |
Compartmented Mode Workstation: Prototype Highlights. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
data overclassification prevention, MITRE compartmented mode workstation, highly classified intelligence data, binary compatible, trusted window management system, sensitivity levels, information labels, accurate data labeling, multiple sensitivity levels, software engineering, objects, security of data, workstations, security requirements, markings, security labels |
38 | Reind P. van de Riet, Anthony I. Wasserman, Martin L. Kersten, Wiebren de Jonge |
High-Level Programming Features for Improving the Efficiency of a Relational Database System. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
PLAIN, relational database management, programming languages, relational algebra, markings, programming methodology |
35 | George Jiroveanu, René K. Boel, Behzad Bordbar |
On-Line Monitoring of Large Petri Net Models Under Partial Observation. |
Discret. Event Dyn. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Monitoring, Diagnosis, DES |
35 | Rachid Nourine, M. Elarbi Boudihir, Samia F. Khelifi |
Application of Radon Transform to Lane Boundaries Tracking. |
ICIAR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Nacéra Bennacer, Gerard Florin, Céline Fraize, Stéphane Natkin |
Probabilistic Validation of a Remote Procedure Call Protocol. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Sungho Kim, In-So Kweon |
Object Categorization Robust to Surface Markings using Entropy-guided Codebook. |
WACV |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Shu-Chuan Tseng |
Linguistic Markings of Units in Spontaneous Mandarin. |
ISCSLP |
2006 |
DBLP DOI BibTeX RDF |
discourse items, tempo variability, repairs, Spontaneous speech |
32 | G. N. Marichal, Evelio J. González, Leopoldo Acosta, Jonay Toledo, Marta Sigut, Jonatán Felipe |
An Infrared and Neuro-Fuzzy-Based Approach for Identification and Classification of Road Markings. |
ICNC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Yoram Chisik, Nancy Kaplan |
The social life of books in the humane library. |
JCDL |
2006 |
DBLP DOI BibTeX RDF |
electronic annotations, sociable literacy, annotations, children, markings, active reading, digital books |
26 | Nancy Kaplan, Yoram Chisik |
In the company of readers: the digital library book as "practiced place". |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
electronic annotations, sociable literacy, children, markings, active reading, annotations system design, digital books |
23 | Meeyoung Cha, Alan Mislove, P. Krishna Gummadi |
A measurement-driven analysis of information propagation in the flickr social network. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
social networks, information dissemination, flickr, cascades, viral marketing |
23 | Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez |
Formal analysis of timed continuous Petri nets. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zan Huang, Akhil Kumar 0001 |
New Quality Metrics for Evaluating Process Models. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
process logs, block structured models, badness score, equivalent models, self-loops, optional tasks, noisy log, Petri-nets, Process mining, quality-metric |
23 | Jing-Fu Liu, Yi-Feng Su, Ming-Kuan Ko, Pen-Ning Yu |
Development of a Vision-Based Driver Assistance System with Lane Departure Warning and Forward Collision Warning Functions. |
DICTA |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Sungho Kim, In-So Kweon, Chil-Woo Lee |
Visual Categorization Robust to Large Intra-Class Variations using Entropy-guided Codebook. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Antonio M. López 0001, Joan Serrat 0002, Cristina Cañero, Felipe Lumbreras |
Robust Lane Lines Detection and Quantitative Assessment. |
IbPRIA (1) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Salvador Alcaraz, Katja Gilly, Carlos Juiz, Ramón Puigjaner |
Handling HTTP flows over a DiffServ framework. |
LANC |
2007 |
DBLP DOI BibTeX RDF |
short and long flows, QoS, DiffServ, web traffic, token bucket |
23 | Dongguang Li |
Ballistics Projectile Image Analysis for Firearm Identification. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ho Gi Jung, Dong Suk Kim, Pal Joo Yoon, Jaihie Kim |
Structure Analysis Based Parking Slot Marking Recognition for Semi-automatic Parking System. |
SSPR/SPR |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Christina Olsén, Fredrik Georgsson |
Assessing Ground Truth of Glandular Tissue. |
Digital Mammography / IWDM |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Alessandro Giua, Daniele Corona, Carla Seatzu |
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
labeled nets, marking estimation, Petri nets, observer |
23 | Pangyu Jeong, Sergiu Nedevschi |
Efficient and Robust Classification Method Using Combined Feature Vector for Lane Detection. |
IEEE Trans. Circuits Syst. Video Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. |
SEW |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Parthasarathy Ramachandran, Manjunath Kamath |
A Sufficient Condition for Reachability in a General Petri Net. |
Discret. Event Dyn. Syst. |
2004 |
DBLP DOI BibTeX RDF |
acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding |
23 | Harro Wimmel |
Infinity of Intermediate States Is Decidable for Petri Nets. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Yu Ru, Weimin Wu, Hongye Su, Jian Chu |
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Lau Nga Sin, Moon-Chuen Lee |
An Efficient Domain Based Marking Scheme for IP Traceback. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jorge Júlvez, Laura Recalde, Manuel Silva Suárez |
On Reachability in Autonomous Continuous Petri Net Systems. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
23 | René David, Hassane Alla |
Reachability Graph for Autonomous Continuous Petri Nets. |
POSTA |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Sunghee Kim, Haleh Hagh-Shenas, Victoria Interrante |
Conveying Shape with Texture: an experimental investigation of the impact of texture type on shape categorization judgments. |
INFOVIS |
2003 |
DBLP DOI BibTeX RDF |
texture, shape perception, principal directions |
23 | Beomjin Kim |
Experimental Evaluation of Query Fingerprinting with Embedded Search Term Markers. |
ICCSA (2) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt |
Response time densities in generalised stochastic petrinet models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Enric Pastor, Jordi Cortadella, Oriol Roig |
Symbolic Analysis of Bounded Petri Nets. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Binary Decition Diagrams, Petri nets, formal verification, symbolic methods |
23 | Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez |
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola |
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Margrit Betke, Esin Haritaoglu, Larry S. Davis |
Real-time multiple vehicle detection and tracking from a moving vehicle. |
Mach. Vis. Appl. |
2000 |
DBLP DOI BibTeX RDF |
Vehicle detection and tracking, Object recognition under ego-motion, Intelligent vehicles, Real-time computer vision |
23 | Massimo Bertozzi, Alberto Broggi |
GOLD: a parallel real-time stereo vision system for generic obstacle and lane detection. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Broggi |
The Evolution of a Massively Parallel Vision System for Real-Time Automotive Image Processing. |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Fernand S. Cohen, Jin-Yinn Wang |
Part II: 3-D Object Recognition and Shape Estimation from Image Contours Using B-splines, Shape Invariant Matching, and Neural Network. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
shape invariant matching, image curves, curve modeling, binocular stereo imaging system, unwarped parent curves, neural network, training, image sequences, matching, image recognition, neural nets, B-splines, Bayes methods, stereo image processing, Fourier descriptors, splines (mathematics), shape estimation, Bayesian framework, image contours, 3-D object recognition |
23 | Inien Syu, Sheau-Dong Lang |
A Competition-Based Connectionist Model for Information Retrieval Using a Merged Thesaurus. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Mikko Tiusanen |
Symbolic, Symmetry, and Stubborn Set Searches. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Markus Lindquist |
Parameterized Reachability Trees for Predicate/Transition Nets. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Petri nets, reachability analysis, Predicate/Transition nets, high level nets |
23 | Claude Dutheillet, Serge Haddad |
Regular stochastic Petri nets. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
stochastic nets, Higher-level net models |
21 | Zhongshu Chen, Lin Zuo, Feng Guo, Changhua Zhang, Yu Liu 0006 |
Weakly Supervised End-to-End Learning for Inspection on Multidirectional Integrated Circuit Markings in Surface Mount Technology. |
IEEE Trans. Ind. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Hadas Marciano |
The Effect of Lane Direction Pavement Markings on Driving Performance and Safety: A Driving Simulator Study. |
Hum. Factors |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Shuen Zhao, Zhikun Gong, Dongyu Zhao |
Traffic signs and markings recognition based on lightweight convolutional neural network. |
Vis. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sangyum Lee, Byoung Hooi Cho |
Evaluating Pavement Lane Markings in Metropolitan Road Networks with a Vehicle-Mounted Retroreflectometer and AI-Based Image Processing Techniques. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Seokchan Kang, Jeongwon Lee, Jiyeong Lee |
Developing a Method to Automatically Extract Road Boundary and Linear Road Markings from a Mobile Mapping System Point Cloud Using Oriented Bounding Box Collision-Detection Techniques. |
Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yejia Liu, Xunbo Li, Ahmed M. El-Sherbeeny |
Sequence Planning for Labeled Petri Nets With Time and Resource Constraints Using Basis Markings. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li 0001 |
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Kelsey Parks, Xiaoqi Liu, Tahsin Reasat, Zain Khera, Laura X. Baker, Heidi Chen, Benoit M. Dawant, Inga Saknite, Eric R. Tkaczyk |
Non-Expert Markings of Active Chronic Graft-Versus-Host Disease Photographs: Optimal Metrics of Training Effects. |
J. Digit. Imaging |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Nathaniel Berger, Miriam Exel, Matthias Huck, Stefan Riezler |
Enhancing Supervised Learning with Contrastive Markings in Neural Machine Translation Training. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Jon Corbett |
ᐊᒐᐦᑭᐯᐦᐃᑲᓇ ᒫᒥᑐᓀᔨᐦᐃᒋᑲᓂᐦᑳᓂᕽ | acahkipehikana mâmitoneyihicikanihkânihk | Programming with Cree# and Ancestral Code: Nehiyawewin Spirit Markings in an Artificial Brain. |
Digit. Humanit. Q. |
2023 |
DBLP BibTeX RDF |
|
21 | Axel Kjeld Fjelrad Christfort, Søren Debois |
DCR Syntax and Execution Equivalent Markings. |
Arch. Formal Proofs |
2023 |
DBLP BibTeX RDF |
|
21 | Jike Wang, Shanmu Wang, Yasha Iravantchi, Mingke Wang, Alanson P. Sample, Kang G. Shin, Xinbing Wang, Chenghu Zhou, Dongyao Chen |
METRO: Magnetic Road Markings for All-weather, Smart Roads. |
SenSys |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Dajiang Suo, Heyi Li, Rahul Bhattacharyya, Joan Melià-Seguí, Sanjay E. Sarma |
RF-Enhanced Pavement Markings for Mobile Robot Lane Detection. |
CASE |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Nathaniel Berger, Miriam Exel, Matthias Huck, Stefan Riezler |
Enhancing Supervised Learning with Contrastive Markings in Neural Machine Translation Training. |
EAMT |
2023 |
DBLP BibTeX RDF |
|
21 | Luciane B. Soares, Eduardo Augusto D. Evangelista, Vinicius V. Maurente, Matheus Machado dos Santos, Igor P. Maurell, Marcelo Pias, Paulo Drews Jr., Silvia S. C. Botelho |
Segmentation and Removal of Markings in Metal Inspection Images. |
SIBGRAPI |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lipeng Xu, Zhizhou Wu |
Diagnosis of Broken and Worn Traffic Markings Using a Hybrid Neural Network. |
RICAI |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yao Hu, Xinyu Du, Shengbing Jiang |
Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs. |
CVPR Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Christophe Heinkelé, Colin Holler, Abdessamad El Krine, Valérie Muzet |
Hybrid AI Road Markings Analysis from a Retroreflectometer. |
ITSC |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zhongshu Chen, Changhua Zhang, Lin Zuo, Tangfan Xiahou, Yu Liu 0006 |
An Adaptive Deep Learning Framework for Fast Recognition of Integrated Circuit Markings. |
IEEE Trans. Ind. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yuxuan Zhou 0001, Xingxing Li, Shengyu Li, Xuanbin Wang |
Visual Mapping and Localization System Based on Compact Instance-Level Road Markings With Spatial Uncertainty. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Ángel Muñoz-Bañón, Jan-Hendrik Pauls, Haohao Hu, Christoph Stiller, Francisco A. Candelas, Fernando Torres 0001 |
Robust Self-Tuning Data Association for Geo-Referencing Using Lane Markings. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Javier Barandiarán, Marcos Nieto Doncel, Andoni Cortés Vidal, Oihana Otaegui Madurga, Julián Flórez Esnal, Manuel Graña Romay |
Automated Annotation of Lane Markings Using LIDAR and Odometry. |
IEEE Trans. Intell. Transp. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Ángel Muñoz-Bañón, Jan-Hendrik Pauls, Haohao Hu, Christoph Stiller, Francisco A. Candelas, Fernando Torres 0001 |
Robust Self-Tuning Data Association for Geo-Referencing Using Lane Markings. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Novel Certad, Walter Morales-Alvarez, Cristina Olaverri-Monreal |
Road Markings Segmentation from LIDAR Point Clouds using Reflectivity Information. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jules Chenou, George Hsieh, Aurelia T. Williams |
Theoretical Foundation of Colored Petri Net through an Analysis of their Markings as Multi-classification. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Suarez-Mash, Arfan Ghani, Chan H. See, Simeon Keates, Hongnian Yu |
Using Deep Neural Networks to Classify Symbolic Road Markings for Autonomous Vehicles. |
EAI Endorsed Trans. Ind. Networks Intell. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matteo Bellusci, Matteo Matteucci |
Advances in Real-Time Online Vehicle Camera Calibration via Road Line Markings Parallelism Enforcement*. |
IV |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Barbara Gallazzi, Paolo Cudrano, Matteo Frosi, Simone Mentasti, Matteo Matteucci |
Clothoidal Mapping of Road Line Markings for Autonomous Driving High-Definition Maps. |
IV |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Brijen Thananjeyan, Justin Kerr, Huang Huang, Joseph E. Gonzalez, Ken Goldberg |
All You Need is LUV: Unsupervised Collection of Labeled Images Using UV-Fluorescent Markings. |
IROS |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Shipitko, Anatoly Kbakov, Anton S. Grigoryev, Kirill Smirnov |
Road Markings and Road Edges Mapping With Inverse Visual Detector Model. |
VTC Spring |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Zhiyun Xue, Kelly Yu, Paul C. Pearlman, Tseng-Cheng Chen, Chun-Hung Hua, Chung Jan Kang, Chih-Yen Chien, Ming-Hsui Tsai, Cheng-Ping Wang, Anil K. Chaturvedi, Sameer K. Antani |
Extraction of Ruler Markings For Estimating Physical Size of Oral Lesions. |
ICPR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Liang Chen, Xiaoliang Fan, Haibing Jin, Xiaotian Sun, Ming Cheng 0002, Cheng Wang 0003 |
FedRME: Federated Road Markings Extraction from Mobile LiDAR Point Clouds. |
CSCWD |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Novel Certad, Walter Morales-Alvarez, Cristina Olaverri-Monreal |
Road Markings Segmentation from LIDAR Point Clouds using Reflectivity Information. |
ICVES |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Roshanak Khaleghi, Ramavarapu S. Sreenivas |
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Raja Muthalagu, Anudeepsekhar Bolimera, V. Kalaichelvi |
Vehicle lane markings segmentation and keypoint determination using deep convolutional neural networks. |
Multim. Tools Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Maxime Redondin, Laurent Bouillaut, Dimitri Daucher |
EM Approach for Weibull Analysis in a Strongly Censored Data Context - Application to Road Markings. |
Int. J. Perform. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey |
Diagnosing timed automata using timed markings. |
Int. J. Softw. Tools Technol. Transf. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Ángel Muñoz-Bañón, Jan-Hendrik Pauls, Haohao Hu, Christoph Stiller |
DA-LMR: A Robust Lane Markings Representation for Data Association Methods. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Paul E. Jones, Subha Dhesikan, Cullen Jennings, Dan Druta |
Differentiated Services Code Point (DSCP) Packet Markings for WebRTC QoS. |
RFC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yue Su, Liang Qi, Xiwang Guo, Kun Wang |
A Method to Quickly Determine Some Non-Reachable Markings in Cyclic Petri Nets Based on State Equation. |
ICNSC |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Ana Rednic, Septimiu Crisan, Radu Gabriel Danescu |
Design and Implementation of a Markings Assisted Guide Robot for Art Museums. |
ICCP |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Olga Moskvyak, Frédéric Maire, Feras Dayoub, Asia O. Armstrong, Mahsa Baktashmotlagh |
Robust Re-identification of Manta Rays from Natural Markings by Learning Pose Invariant Embeddings. |
DICTA |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Kyubyung Kang, Donghui Chen, Cheng Peng, Dan Koo, Taewook Kang, Jonghoon Kim |
Development of an Automated Visibility Analysis Framework for Pavement Markings Based on the Deep Learning Approach. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ya Wang, Guanghui Zhu, Naiqi Wu |
Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Pattranit Pisantanaroj, Pimlapus Tanpisuth, Piyawut Sinchavanwat, Siriporn Phasuk, Phongphan Phienphanich, Parinton Jangtawee, Kittisak Yakoompai, Montri Donphoongpi, Sanong Ekgasit, Charturong Tantibundhit |
Automated Firearm Classification From Bullet Markings Using Deep Learning. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Maxime Redondin, Laurent Bouillaut, Dimitri Daucher |
A Clustering-based Approach to Segment a Pavement Markings Line. |
Int. J. Perform. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio |
Counting Petri net markings from reduction equations. |
Int. J. Softw. Tools Technol. Transf. |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 401 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|