The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase C STL (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1998 (18) 1999-2000 (16) 2001-2003 (18) 2004-2005 (25) 2006 (16) 2007 (21) 2008 (23) 2009-2010 (15) 2011-2015 (16) 2016-2018 (24) 2019 (18) 2020 (17) 2021 (21) 2022 (18) 2023 (29) 2024 (10)
Publication types (Num. hits)
article(98) book(6) inproceedings(200) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(36) CDC(7) Comput. Aided Des.(7) HSCC(7) Generic Programming(6) LCPC(5) FORMATS(4) IROS(4) Comput. Ind.(3) ETFA(3) ICSM(3) IEEE Access(3) IEEE Control. Syst. Lett.(3) IPDPS(3) OOPSLA(3) RV(3) More (+10 of total 188)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 145 occurrences of 111 keywords

Results
Found 305 publication records. Showing 305 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
154Bahattin Koc, Yuan-Shin Lee, Yawei Ma Max-fit biarc fitting to STL models for rapid prototyping processes. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2001 DBLP  DOI  BibTeX  RDF STL files, biarc curve-fitting, biarc splines, rapid prototyping, CAD/CAM
92Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup Lock-Free Dynamically Resizable Arrays. Search on Bibsonomy OPODIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, concurrency, C++, vector, lock-free, STL
89Wenyu Fu, Aike Qiao, Pengbin Fu Boundary Identification and Triangulation of STL Model. Search on Bibsonomy BMEI (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topology reconstruction, Half edge data structure, Double linked list, Balanced binary tree, Delaunay triangulation
82Amanda M. Whitbrook, Uwe Aickelin, Jonathan M. Garibaldi An Idiotypic Immune Network as a Short-Term Learning Architecture for Mobile Robots. Search on Bibsonomy ICARIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
82Dacheng Tao, Xuelong Li 0001, Xindong Wu 0001, Weiming Hu, Stephen J. Maybank Supervised tensor learning. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Alternating projection, Supervised learning, Convex optimization, Tensor
82Naoki Koizumi, Ikuo Yoshihara, Kunihito Yamamori, Moritoshi Yasunaga Variable length segmental-transmission-line and its parameter optimization based on GA. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Michael Schumacher 0001, Fabrice Chantemargue, Béat Hirsbrunner The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications. Search on Bibsonomy COORDINATION The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
69Iovka Boneva, Jean-Marc Talbot, Sophie Tison Expressiveness of a Spatial Logic for Trees. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
65David R. Musser, Arturo J. Sánchez-Ruíz Theory and Generality of Complete Traversals. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures
61Chung-Shing Wang, Chao-Yin Hsiao, Teng-Ruey Chang, Chin-Kun Teng STL mesh reconstruction for bio-medical rapid prototyping model. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Nicolas Blanc, Alex Groce, Daniel Kroening Verifying C++ with STL containers via predicate abstraction. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, verification, C++, iterator, predicate abstraction, STL
55Moritoshi Yasunaga, Yoshiki Yamaguchi, Hiroshi Nakayama, Ikuo Yoshihara, Naoki Koizumi, Jung Hwan Kim The Segmental-Transmission-Line: Its Design and Prototype Evaluation. Search on Bibsonomy ICES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Evolutionary Hardware Design, Signal Integrity, Transmission Line, Printed Circuit Board
55Feng Jin, Shiliang Sun Neural network multitask learning for traffic flow forecasting. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Abbas Nayebi, Hamid Sarbazi-Azad Lifetime analysis of the logical topology constructed by homogeneous topology control in wireless mobile networks. Search on Bibsonomy ICPADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Boniface Hicks, Tim Misiak, Patrick D. McDaniel Channels: Runtime System Infrastructure for Security-Typed Languages. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Alin Jula, Lawrence Rauchwerger Custom Memory Allocation for Free. Search on Bibsonomy LCPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Jaakko Järvi, John Freeman Lambda functions for C++0x. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lambda functions, C++, closures, STL
51Feng Jin, Shiliang Sun A Multitask Learning Approach to Face Recognition Based on Neural Networks. Search on Bibsonomy IDEAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multitask learning (MTL), single task learning (STL), backpropagation (BP), face recognition, artificial neural network (ANN)
51Vincent Danjean, Roland Gillard, Serge Guelton, Jean-Louis Roch, Thomas Roche Adaptive loops with kaapi on multicore and grid: applications in symmetric cryptography. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF parallel STL, workstealing, grid computation, symmetric cryptography, adaptive parallelism
48Leonor Frias, Johannes Singler Parallelization of Bulk Operations for STL Dictionaries. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Aibao Wang, Guangzhao Zhang Architecture of STL Model of New Communication Network. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF network architecture, next generation network, Communication theory
48Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek Beyond templates: a study of clones in the STL and some general implications. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software maintenance, clones, meta-programming
48Seokbae Son, Kwan H. Lee Automated Scan Plan Generation Using STL Meshes for 3D Stripe-Type Laser Scanner. Search on Bibsonomy ICCSA (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Shivkumar Sabesan, Niranjan Chakravarthy, Kostas Tsakalis, Panos M. Pardalos, Leonidas D. Iasemidis Measuring resetting of brain dynamics at epileptic seizures: application of global optimization and spatial synchronization techniques. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Quadratic binary programming, Dynamical Synchronization, Spatiotemporal transitions, Epileptic seizure dynamics
41Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup Minimizing dependencies within generic classes for faster and smaller programs. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generalized hoisting, scary assignments and initializations, generics, templates
41Jiyoung Park, Sang-Hyun Cho, Jung-Gil Choi, Myoung-Hee Kim Immersive Visualization of Casting Flow and Solidification. Search on Bibsonomy ISVC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Marcin Zalewski, Sibylle Schupp Change Impact Analysis for Generic Libraries. Search on Bibsonomy ICSM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Dacheng Tao, Xuelong Li 0001, Weiming Hu, Stephen J. Maybank, Xindong Wu 0001 Supervised Tensor Learning. Search on Bibsonomy ICDM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Liulan Lin, Jiafeng Zhang, Shaohua Ju, Aili Tong, Minglun Fang A Novel Method of Creating Models for Finite Element Analysis Based on CT Scanning Images. Search on Bibsonomy ICIC (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CT scanning images, Finite element analysis, STL
37Bjarne Stroustrup Evolving a language in and for the real world: C++ 1991-2006. Search on Bibsonomy HOPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF language use, C++, standardization, programming language, evolution, history, libraries, ISO, STL, multi-paradigm programming
37David Abrahams Exception-Safety in Generic Components. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF exception-safety, C++, exceptions, STL
34Kenichi Maruyama, Yoshihiro Kawai, Takashi Yoshimi, Fumiaki Tomita 3D object localization based on occluding contour using STL CAD model. Search on Bibsonomy ICPR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly Speeding up STL Set/Map Usage in C++ Applications. Search on Bibsonomy SIPEW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Shengyuan Yang, Shi Shu Robust Feature Extraction for the Composite Surface Mesh from STL File. Search on Bibsonomy ICYCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard 0001 Deque-Free Work-Optimal Parallel STL Algorithms. Search on Bibsonomy Euro-Par The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Leonor Frias, Jordi Petit, Salvador Roura Lists Revisited: Cache Conscious STL Lists. Search on Bibsonomy WEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Ullrich Köthe, Karsten Weihe The STL Model in the Geometric Domain. Search on Bibsonomy Generic Programming The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34John Ivie, Kwok-Woon Larry Lai STL - a high level language for simulation and test. Search on Bibsonomy DAC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
27Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup Runtime concepts for the C++ standard template library. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF runtime polymorphism, C++, generic programming, standard template library
27Najah Hraiech, Fulvia Taddei, Emmanuel Malvesin, Michel Rochette, Marco Viceconti Fast 3D mesh generation of femur based on planar parameterization and morphing. Search on Bibsonomy ISBI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Gabriel Tanase, Chidambareswaran Raman, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger Associative Parallel Containers in STAPL. Search on Bibsonomy LCPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Dejan Nickovic, Oded Maler AMT: A Property-Based Monitoring Tool for Analog Systems. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Pedro Fernández, Braulio Jose Alvarez, Jose Carlos Rico, David Blanco Fernandez, Gonzalo Valiño Constraints Evaluation and Working Methodology for Laser Scanning of Free-Form Surfaces. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Naijun Zhan, Mila E. Majster-Cederbaum Deriving Non-determinism from Conjunction and Disjunction. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
27Marc Ronell A C++ Pooled, Shared Memory Allocator for Simulator Development. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Holger Bischof, Sergei Gorlatch, Roman Leshchinskiy Generic Parallel Programming Using C++ Templates and Skeletons. Search on Bibsonomy Domain-Specific Program Generation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Suna Hafizogullari, Gloria Bender, Cenk Tunasar Customer relations management: service operations: simulation's role in baggage screening at the airports: a case study. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Ping An, Alin Jula, Silvius Vasile Rus, Steven Saunders, Timmie G. Smith, Gabriel Tanase, Nathan L. Thomas, Nancy M. Amato, Lawrence Rauchwerger STAPL: An Adaptive, Generic Parallel C++ Library. Search on Bibsonomy LCPC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Jaakko Järvi C++ Function Object Binders Made Easy. Search on Bibsonomy GCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine The Generic Graph Component Library. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Angelika Langer Programming with C++ Exceptions. Search on Bibsonomy TOOLS (30) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Lawrence Rauchwerger, Francisco Arzu, Koji Ouchi Standard Templates Adaptive Parallel Library (STAPL). Search on Bibsonomy LCR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Changqing Wang, David R. Musser Dynamic Verification of C++ Generic Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library
24Lixia Liu, Silvius Rus Perflint: A Context Sensitive Performance Advisor for C++ Programs. Search on Bibsonomy CGO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF C++, STL, advisor
24Raymond Lister, Ilona Box, Briana B. Morrison, Josh Tenenberg, Suzanne Westbrook The dimensions of variation in the teaching of data structures. Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF java collections framework, data structures, CS2, introductory programming, STL, phenomenography
24Sara McMains, Carlo H. Séquin A coherent sweep plane slicer for layered manufacturing. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 1999 DBLP  DOI  BibTeX  RDF STL format, computational geometry, topology, rapid prototyping, slicing, CAD/CAM
24Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky Collection Types and Implementations in Object-Oriented Software Libraries. Search on Bibsonomy TOOLS (26) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF collection library, C++STL, Smalltalk, subtyping, Collection, container, Eiffel, subclassing
20Maria Charitidou, Dimos V. Dimarogonas Distributed MPC With Continuous-Time STL Constraint Satisfaction Guarantees. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Yilei Qiu, Zhou He, Wenyu Zhang 0001, Xiang Yin 0006, Chengjie Ni MSGCN-ISTL: A multi-scaled self-attention-enhanced graph convolutional network with improved STL decomposition for probabilistic load forecasting. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas Communication-Constrained STL Task Decomposition through Convex Optimization. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Andrea Ruo, Lorenzo Sabattini, Valeria Villani CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Andrea Ruo, Lorenzo Sabattini, Valeria Villani CBF-Based STL Motion Planning for Social Navigation in Crowded Environment. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova Multi-agent transformer-accelerated RL for satisfaction of STL specifications. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Bohan Ma, Yiheng Wang, Yuchao Lu, Tianzixuan Hu, Jinling Xu, Patrick Houlihan StockFormer: A Swing Trading Strategy Based on STL Decomposition and Self-Attention Networks. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Ruben Laso, Diego Krupitza, Sascha Hunold pSTL-Bench: A Micro-Benchmark Suite for Assessing Scalability of C++ Parallel STL Implementations. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Siladitya Khan, Soumya Goswami, Fan Feng, Stefanie Hollenbach, Marvin M. Doyley, Stephen A. McAleavey Probing Tissue Viscoelasticity With STL Ultrasound Shearwave Spectroscopy Using Cole-Cole Diagrams. Search on Bibsonomy IEEE Trans. Biomed. Eng. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Yu-Xiang Wu, Bi-Ru Dai STL-ConvTransformer: Series Decomposition and Convolution-Infused Transformer Architecture in Multivariate Time Series Anomaly Detection. Search on Bibsonomy PAKDD (1) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas Combined Left and Right Temporal Robustness for Control Under STL Specifications. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Deng Zhao, Zhangbing Zhou, Zhipeng Cai 0001, Sami Yangui, Xiao Xue 0001 ASTL: Accumulative STL With a Novel Robustness Metric for IoT Service Monitoring. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Joe Sgarrella, Farshad Ghanbari, Christian Peco I-STL2MOOSE: From STL data to integrated volumetrical meshes for MOOSE. Search on Bibsonomy SoftwareX The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo Monitors That Learn From Failures: Pairing STL and Genetic Programming. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Jin Xiang, Rundong Jiang, Aibin Chen, Guoxiong Zhou, Wenjie Chen, Zhihua Liu Classification methods of butterfly images based on U-net and STL-MSDNet. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Gaocai Fu, Buyun Sheng, Yuzhe Huang, Ruiping Luo, Geng Chen, Ganlin Sheng An adaptive sampling method for STL free-form surfaces based on the quasi-Gauss curvature grid. Search on Bibsonomy Int. J. Comput. Integr. Manuf. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas Combined Left and Right Temporal Robustness for Control under STL Specifications. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xinyi Yu, Xiang Yin 0003, Lars Lindemann Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Ho Chit Siu, Kevin Leahy 0001, Makai Mann STL: Surprisingly Tricky Logic (for System Validation). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yuanhao Gong STL: A Signed and Truncated Logarithm Activation Function for Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. Search on Bibsonomy FMAS@iFM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Joris Verhagen, Lars Lindemann, Jana Tumova Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yiqi Zhao, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann Robust Conformal Prediction for STL Runtime Verification under Distribution Shift. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Isamu Nishida, Eiki Yamada, Hidenori Nakatsuji Automated Process Planning System for Machining Injection Molding Dies Using CAD Models of Product Shapes in STL Format. Search on Bibsonomy Int. J. Autom. Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Ho Chit Siu, Kevin Leahy 0001, Makai Mann STL: Surprisingly Tricky Logic (for System Validation). Search on Bibsonomy IROS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Kyungmin Bae Bounded STL Model Checking for Hybrid Systems (Invited Talk). Search on Bibsonomy FTSCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Francesca Cairoli, Nicola Paoletti, Luca Bortolussi Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. Search on Bibsonomy HSCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin 0001 An STL-based Approach to Resilient Control for Cyber-Physical Systems. Search on Bibsonomy HSCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. Search on Bibsonomy HSCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos Stealthy attacks formalized as STL formulas for Falsification of CPS Security. Search on Bibsonomy HSCC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Yoshinari Takayama, Kazumune Hashimoto, Toshiyuki Ohtsuka Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications. Search on Bibsonomy CDC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xinyi Yu, Xiang Yin 0003, Lars Lindemann Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. Search on Bibsonomy CDC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Nikhil Kumar Singh 0004, Indranil Saha STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. Search on Bibsonomy AAAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas Conformal Prediction for STL Runtime Verification. Search on Bibsonomy Allerton The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas Conformal Prediction for STL Runtime Verification. Search on Bibsonomy ICCPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Clara Cordeiro, M. Rosário Ramos, M. Manuela Neves Improving Forecasting by Resampling STL Decomposition. Search on Bibsonomy ICCSA (Workshops 9) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Patrick Halder, Fabian Christ, Matthias Althoff Lexicographic Mixed-Integer Motion Planning with STL Constraints. Search on Bibsonomy ITSC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Zuokun Ouyang, Meryem Jabloun, Philippe Ravier STLformer: Exploit STL Decomposition and Rank Correlation for Time Series Forecasting. Search on Bibsonomy EUSIPCO The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Huamin Zhu, Ru Xu, Hongyao Deng A novel STL-based hybrid model for forecasting hog price in China. Search on Bibsonomy Comput. Electron. Agric. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Guigang Wang, Xuemei Li, Kaixin Zhao, Yikun Li, Xuwei Sun Quantifying the Spatio-Temporal Variations and Impacts of Factors on Vegetation Water Use Efficiency Using STL Decomposition and Geodetector Method. Search on Bibsonomy Remote. Sens. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Ashkan Zehfroosh, Herbert G. Tanner Non-Smooth Control Barrier Navigation Functions for STL Motion Planning. Search on Bibsonomy Frontiers Robotics AI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Li Chen, Linjiang Zheng, Dong Xia, Dihua Sun, Weining Liu STL-Detector: Detecting City-Wide Ride-Sharing Cars via Self-Taught Learning. Search on Bibsonomy IEEE Internet Things J. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 305 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license