Search results for "STL"

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