|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 1048-1053, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Alessandro Giua, Xiaolan Xie |
Control of Safe Ordinary Petri Nets Using Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(4), pp. 349-373, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 606-611, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Bing-Fei Wu, Chuan-Tsai Lin |
Robust lane detection and tracking for driving assistance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3848-3853, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Sven Koenig, Yaxin Liu |
Terrain coverage with ant robots: a simulation study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 600-607, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(5), pp. 917-979, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 164-174, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(5), pp. 325-336, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 608-618, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 6(3), pp. 464-485, 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(3), pp. 323-354, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (2) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 563-571, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 26-45, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 59-78, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Sungho Kim, In-So Kweon |
Object Categorization Robust to Surface Markings using Entropy-guided Codebook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: 8th IEEE Workshop on Applications of Computer Vision (WACV 2007), 20-21 February 2007, Austin, Texas, USA, pp. 22, 2007, IEEE Computer Society, 978-0-7695-2794-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Shu-Chuan Tseng |
Linguistic Markings of Units in Spontaneous Mandarin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSLP ![In: Chinese Spoken Language Processing, 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings, pp. 43-54, 2006, Springer, 3-540-49665-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part II, pp. 918-927, 2006, Springer, 3-540-45907-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Yoram Chisik, Nancy Kaplan |
The social life of books in the humane library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 312-313, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 235-243, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 721-730, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 245-250, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zan Huang, Akhil Kumar 0001 |
New Quality Metrics for Evaluating Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 164-170, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2008, Canberra, ACT, Australia, 1-3 December 2008, pp. 480-485, 2008, IEEE Computer Society, 978-0-7695-3456-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 3793-3798, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I, pp. 274-281, 2007, Springer, 978-3-540-72846-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 98-113, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Salvador Alcaraz, Katja Gilly, Carlos Juiz, Ramón Puigjaner |
Handling HTTP flows over a DiffServ framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANC ![In: Proceedings of the 4th International IFIP/ACM Latin American Networking Conference, LANC 2007, San José, Costa Rica, October 10-11, 2007, pp. 95-101, 2007, ACM, 978-1-59593-907-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(10), pp. 2857-2865, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPR/SPR ![In: Structural, Syntactic, and Statistical Pattern Recognition, Joint IAPR International Workshops, SSPR 2006 and SPR 2006, Hong Kong, China, August 17-19, 2006, Proceedings, pp. 384-393, 2006, Springer, 3-540-37236-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Christina Olsén, Fredrik Georgsson |
Assessing Ground Truth of Glandular Tissue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Mammography / IWDM ![In: Digital Mammography, 8th International Workshop, IWDM 2006, Manchester, UK, June 18-21, 2006, Proceedings, pp. 10-17, 2006, Springer, 3-540-35625-8. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 85-108, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 15(4), pp. 528-537, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ugo A. Buy, Mihai Lehene, Houshang Darabi |
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 211-218, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Parthasarathy Ramachandran, Manjunath Kamath |
A Sufficient Condition for Reachability in a General Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 14(3), pp. 251-266, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, pp. 426-434, 2004, Springer, 3-540-22236-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1666-1671, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Lau Nga Sin, Moon-Chuen Lee |
An Efficient Domain Based Marking Scheme for IP Traceback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSNMC ![In: High Speed Networks and Multimedia Communications, 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004, Proceedings, pp. 1080-1091, 2004, Springer, 3-540-22262-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jorge Júlvez, Laura Recalde, Manuel Silva Suárez |
On Reachability in Autonomous Continuous Petri Net Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 221-240, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | René David, Hassane Alla |
Reachability Graph for Autonomous Continuous Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POSTA ![In: Positive Systems, Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003, pp. 63-70, 2003, Springer, 3-540-40342-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, pp. 163-170, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
texture, shape perception, principal directions |
23 | Beomjin Kim |
Experimental Evaluation of Query Fingerprinting with Embedded Search Term Markers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 532-541, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt |
Response time densities in generalised stochastic petrinet models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 46-54, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Enric Pastor, Jordi Cortadella, Oriol Roig |
Symbolic Analysis of Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(5), pp. 432-448, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 164-183, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 435-449, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Margrit Betke, Esin Haritaoglu, Larry S. Davis |
Real-time multiple vehicle detection and tracking from a moving vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 12(2), pp. 69-83, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(1), pp. 62-81, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Broggi |
The Evolution of a Massively Parallel Vision System for Real-Time Automotive Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 724-728, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(1), pp. 13-23, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 164-170, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Mikko Tiusanen |
Symbolic, Symmetry, and Stubborn Set Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 511-530, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Markus Lindquist |
Parameterized Reachability Trees for Predicate/Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 301-324, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Petri nets, reachability analysis, Predicate/Transition nets, high level nets |
23 | Claude Dutheillet, Serge Haddad |
Regular stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 186-209, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(3), pp. 3133-3143, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Hadas Marciano |
The Effect of Lane Direction Pavement Markings on Driving Performance and Safety: A Driving Simulator Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 66(2), pp. 562-573, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Shuen Zhao, Zhikun Gong, Dongyu Zhao |
Traffic signs and markings recognition based on lightweight convolutional neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 40(2), pp. 559-570, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(7), pp. 1812, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(19), pp. 4656, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 109500-109512, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 68(12), pp. 8158-8164, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 36(1), pp. 373-378, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08416, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Humanit. Q. ![In: Digit. Humanit. Q. 17(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Axel Kjeld Fjelrad Christfort, Søren Debois |
DCR Syntax and Execution Equivalent Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 21st ACM Conference on Embedded Networked Sensor Systems, SenSys 2023, Istanbul, Turkiye, November 12-17, 2023, pp. 280-293, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 19th IEEE International Conference on Automation Science and Engineering, CASE 2023, Auckland, New Zealand, August 26-30, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2069-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 24th Annual Conference of the European Association for Machine Translation, EAMT 2023, Tampere, Finland, 12-15 June 2023, pp. 69-78, 2023, European Association for Machine Translation, 978-952-03-2947-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 36th SIBGRAPI Conference on Graphics, Patterns and Images, SIBGRAPI 2003, Rio Grande, RS, Brazil, November 6-9, 2023, pp. 133-138, 2023, IEEE, 979-8-3503-3873-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lipeng Xu, Zhizhou Wu |
Diagnosis of Broken and Worn Traffic Markings Using a Hybrid Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RICAI ![In: 5th International Conference on Robotics, Intelligent Control and Artificial Intelligence, RICAI 2023, Hangzhou, China, December 1-3, 2023, pp. 615-619, 2023, IEEE, 979-8-3503-5795-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yao Hu, Xinyu Du, Shengbing Jiang |
Online LiDAR-to-Vehicle Alignment Using Lane Markings and Traffic Signs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 - Workshops, Vancouver, BC, Canada, June 17-24, 2023, pp. 3348-3357, 2023, IEEE, 979-8-3503-0249-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Christophe Heinkelé, Colin Holler, Abdessamad El Krine, Valérie Muzet |
Hybrid AI Road Markings Analysis from a Retroreflectometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022, pp. 2705-2710, 2023, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 18(4), pp. 2486-2496, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(4), pp. 10802-10809, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(4), pp. 12339-12346, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 23(4), pp. 3115-3125, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.14042, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Novel Certad, Walter Morales-Alvarez, Cristina Olaverri-Monreal |
Road Markings Segmentation from LIDAR Point Clouds using Reflectivity Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01105, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.01194, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Ind. Networks Intell. Syst. ![In: EAI Endorsed Trans. Ind. Networks Intell. Syst. 9(31), pp. 2, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Matteo Bellusci, Matteo Matteucci |
Advances in Real-Time Online Vehicle Camera Calibration via Road Line Markings Parallelism Enforcement*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 2022 IEEE Intelligent Vehicles Symposium, IV 2022, Aachen, Germany, June 4-9, 2022, pp. 1511-1516, 2022, IEEE, 978-1-6654-8821-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 2022 IEEE Intelligent Vehicles Symposium, IV 2022, Aachen, Germany, June 4-9, 2022, pp. 1631-1638, 2022, IEEE, 978-1-6654-8821-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pp. 3241-3248, 2022, IEEE, 978-1-6654-7927-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: 95th IEEE Vehicular Technology Conference, VTC Spring 2022, Helsinki, Finland, June 19-22, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8243-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 26th International Conference on Pattern Recognition, ICPR 2022, Montreal, QC, Canada, August 21-25, 2022, pp. 4241-4247, 2022, IEEE, 978-1-6654-9062-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: 25th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2022, Hangzhou, China, May 4-6, 2022, pp. 653-658, 2022, IEEE, 978-1-6654-0527-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Novel Certad, Walter Morales-Alvarez, Cristina Olaverri-Monreal |
Road Markings Segmentation from LIDAR Point Clouds using Reflectivity Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVES ![In: IEEE International Conference on Vehicular Electronics and Safety, ICVES 2022, Bogota, Colombia, November 14-16, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-7698-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 31(3), pp. 373-405, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Raja Muthalagu, Anudeepsekhar Bolimera, V. Kalaichelvi |
Vehicle lane markings segmentation and keypoint determination using deep convolutional neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 80(7), pp. 11201-11215, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Perform. Eng. ![In: Int. J. Perform. Eng. 17(4), pp. 333-342, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey |
Diagnosing timed automata using timed markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 23(2), pp. 229-253, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.09230, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Paul E. Jones, Subha Dhesikan, Cullen Jennings, Dan Druta |
Differentiated Services Code Point (DSCP) Packet Markings for WebRTC QoS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8837, pp. 1-9, January 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2021, Xiamen, China, December 3-5, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-4048-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCP ![In: 17th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2021, Cluj-Napoca, Romania, October 28-30, 2021, pp. 209-216, 2021, IEEE, 978-1-6654-0976-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: 2021 Digital Image Computing: Techniques and Applications, DICTA 2021, Gold Coast, Australia, November 29 - December 1, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-1709-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(22), pp. 3837, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ya Wang, Guanghui Zhu, Naiqi Wu |
Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 154871-154880, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 78236-78251, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Maxime Redondin, Laurent Bouillaut, Dimitri Daucher |
A Clustering-based Approach to Segment a Pavement Markings Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Perform. Eng. ![In: Int. J. Perform. Eng. 16(10), pp. 1497-1508, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio |
Counting Petri net markings from reduction equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 22(2), pp. 163-181, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 401 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|