|
|
Venues (Conferences, Journals, ...)
|
|
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 |
154 | Bahattin Koc, Yuan-Shin Lee, Yawei Ma |
Max-fit biarc fitting to STL models for rapid prototyping processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Sixth ACM Symposium on Solid Modeling and Applications, Sheraton Inn, Ann Arbor, Michigan, USA, June 4-8, 2001, pp. 225-233, 2001, ACM, 1-58113-366-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
STL files, biarc curve-fitting, biarc splines, rapid prototyping, CAD/CAM |
92 | Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup |
Lock-Free Dynamically Resizable Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings, pp. 142-156, 2006, Springer, 3-540-49990-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (1) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 1, pp. 500-504, 2008, IEEE Computer Society, 978-0-7695-3118-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARIS ![In: Artificial Immune Systems, 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings, pp. 266-278, 2008, Springer, 978-3-540-85071-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
82 | Dacheng Tao, Xuelong Li 0001, Xindong Wu 0001, Weiming Hu, Stephen J. Maybank |
Supervised tensor learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 13(1), pp. 1-42, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2005, 2-4 September 2005, Edinburgh, UK, pp. 1576-1582, 2005, IEEE, 0-7803-9363-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings, pp. 399-414, 1999, Springer, 3-540-65836-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
69 | Iovka Boneva, Jean-Marc Talbot, Sophie Tison |
Expressiveness of a Spatial Logic for Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 280-289, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | David R. Musser, Arturo J. Sánchez-Ruíz |
Theory and Generality of Complete Traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 91-101, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
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. ![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. 3384-3389, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Nicolas Blanc, Alex Groce, Daniel Kroening |
Verifying C++ with STL containers via predicate abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 521-524, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings, pp. 130-140, 2008, Springer, 978-3-540-85856-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 1897-1901, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 13th International Conference on Parallel and Distributed Systems, ICPADS 2007, Hsinchu, Taiwan, December 5-7, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1889-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Boniface Hicks, Tim Misiak, Patrick D. McDaniel |
Channels: Runtime System Infrastructure for Security-Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 23rd Annual Computer Security Applications Conference (ACSAC 2007), December 10-14, 2007, Miami Beach, Florida, USA, pp. 443-452, 2007, IEEE Computer Society, 0-7695-3060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Alin Jula, Lawrence Rauchwerger |
Custom Memory Allocation for Free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers, pp. 299-313, 2006, Springer, 978-3-540-72520-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Jaakko Järvi, John Freeman |
Lambda functions for C++0x. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 178-183, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 24-31, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 33-42, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2007 Workshops: Parallel Processing, HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers, pp. 49-58, 2007, Springer, 978-3-540-78472-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Aibao Wang, Guangzhao Zhang |
Architecture of STL Model of New Communication Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 825-832, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 451-459, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 741-750, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 17(1), pp. 74-97, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 425-444, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II, pp. 980-989, 2008, Springer, 978-3-540-89645-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Marcin Zalewski, Sibylle Schupp |
Change Impact Analysis for Generic Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 35-44, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Dacheng Tao, Xuelong Li 0001, Weiming Hu, Stephen J. Maybank, Xindong Wu 0001 |
Supervised Tensor Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 27-30 November 2005, Houston, Texas, USA, pp. 450-457, 2005, IEEE Computer Society, 0-7695-2278-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 216-221, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CT scanning images, Finite element analysis, STL |
37 | Bjarne Stroustrup |
Evolving a language in and for the real world: C++ 1991-2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOPL ![In: Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), San Diego, California, USA, 9-10 June 2007, pp. 1-59, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
language use, C++, standardization, programming language, evolution, history, libraries, ISO, STL, multi-paradigm programming |
37 | David Abrahams |
Exception-Safety in Generic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 69-79, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly |
Speeding up STL Set/Map Usage in C++ Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIPEW ![In: Performance Evaluation: Metrics, Models and Benchmarks, SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings, pp. 314-321, 2008, Springer, 978-3-540-69813-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Shengyuan Yang, Shi Shu |
Robust Feature Extraction for the Composite Surface Mesh from STL File. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1373-1378, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 887-897, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Leonor Frias, Jordi Petit, Salvador Roura |
Lists Revisited: Cache Conscious STL Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings, pp. 121-133, 2006, Springer, 3-540-34597-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ullrich Köthe, Karsten Weihe |
The STL Model in the Geometric Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 232-248, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | John Ivie, Kwok-Woon Larry Lai |
STL - a high level language for simulation and test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, NV, USA, June, 1986., pp. 517-523, 1986, IEEE Computer Society Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
27 | Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup |
Runtime concepts for the C++ standard template library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 171-177, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 1561-1564, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Gabriel Tanase, Chidambareswaran Raman, Mauro Bianco, Nancy M. Amato, Lawrence Rauchwerger |
Associative Parallel Containers in STAPL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers, pp. 156-171, 2007, Springer, 978-3-540-85260-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Dejan Nickovic, Oded Maler |
AMT: A Property-Based Monitoring Tool for Analog Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 304-319, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 523-530, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Naijun Zhan, Mila E. Majster-Cederbaum |
Deriving Non-determinism from Conjunction and Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 351-365, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 37th Annual Simulation Symposium (ANSS-37 2004), 18-22 April 2004, Arlington, VA, USA, pp. 187-195, 2004, IEEE Computer Society, 0-7695-2110-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Holger Bischof, Sergei Gorlatch, Roman Leshchinskiy |
Generic Parallel Programming Using C++ Templates and Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 107-126, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 1833-1837, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001. Revised Papers, pp. 193-208, 2001, Springer, 3-540-04029-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jaakko Järvi |
C++ Function Object Binders Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised Papers, pp. 165-177, 1999, Springer, 3-540-41172-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine |
The Generic Graph Component Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1999, Denver, Colorado, USA, November 1-5, 1999., pp. 399-414, 1999, ACM, 1-58113-238-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Angelika Langer |
Programming with C++ Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 439, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Lawrence Rauchwerger, Francisco Arzu, Koji Ouchi |
Standard Templates Adaptive Parallel Library (STAPL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 4th International Workshop, LCR '98, Pittsburgh, PA, USA, May 28-30, 1998, Selected Papers, pp. 402-409, 1998, Springer, 3-540-65172-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Changqing Wang, David R. Musser |
Dynamic Verification of C++ Generic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(5), pp. 314-323, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
verification, C++, Specification, templates, software libraries, generic algorithms, Standard Template Library |
24 | Lixia Liu, Silvius Rus |
Perflint: A Context Sensitive Performance Advisor for C++ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009, pp. 265-274, 2009, IEEE Computer Society, 978-0-7695-3576-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, STL, advisor |
24 | Raymond Lister, Ilona Box, Briana B. Morrison, Josh Tenenberg, Suzanne Westbrook |
The dimensions of variation in the teaching of data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 92-96, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Fifth ACM Symposium on Solid Modeling and Applications, Ann Arbor, Michigan, USA, June 9-11, 1999, pp. 285-295, 1999, ACM, 1-58113-080-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (26) ![In: TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA, pp. 97-, 1998, IEEE Computer Society, 0-8186-8482-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 8, pp. 211-216, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part A), pp. 121737, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas |
Communication-Constrained STL Task Decomposition through Convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17585, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Ruo, Lorenzo Sabattini, Valeria Villani |
CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.00356, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Ruo, Lorenzo Sabattini, Valeria Villani |
CBF-Based STL Motion Planning for Social Navigation in Crowded Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.00353, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.15916, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.06139, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.06384, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 71(3), pp. 916-928, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD (1) ![In: Advances in Knowledge Discovery and Data Mining - 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part I, pp. 41-52, 2024, Springer, 978-981-97-2241-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 7, pp. 619-624, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 22(10), pp. 5751-5768, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Joe Sgarrella, Farshad Ghanbari, Christian Peco |
I-STL2MOOSE: From STL data to integrated volumetrical meshes for MOOSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 21, pp. 101273, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 57349-57364, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 82(24), pp. 37039-37063, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 36(11), pp. 1716-1733, November 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.04936, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xinyi Yu, Xiang Yin 0003, Lars Lindemann |
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.12855, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ho Chit Siu, Kevin Leahy 0001, Makai Mann |
STL: Surprisingly Tricky Logic (for System Validation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.17258, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.01475, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yuanhao Gong |
STL: A Signed and Truncated Logarithm Activation Function for Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.16389, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 188-204, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Joris Verhagen, Lars Lindemann, Jana Tumova |
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.10585, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.09482, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 17(6), pp. 619-626, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Ho Chit Siu, Kevin Leahy 0001, Makai Mann |
STL: Surprisingly Tricky Logic (for System Validation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 8613-8620, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Kyungmin Bae |
Bounded STL Model Checking for Hybrid Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, pp. 1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 1:1-1:11, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 2:1-2:12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 25:1-25:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 15:1-15:8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6855-6862, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Xinyi Yu, Xiang Yin 0003, Lars Lindemann |
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6847-6854, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nikhil Kumar Singh 0004, Indranil Saha |
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 15118-15126, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas |
Conformal Prediction for STL Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023, pp. 1, 2023, IEEE, 979-8-3503-2814-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas |
Conformal Prediction for STL Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023, pp. 142-153, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Clara Cordeiro, M. Rosário Ramos, M. Manuela Neves |
Improving Forecasting by Resampling STL Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (Workshops 9) ![In: Computational Science and Its Applications - ICCSA 2023 Workshops - Athens, Greece, July 3-6, 2023, Proceedings, Part IX, pp. 140-149, 2023, Springer, 978-3-031-37128-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Halder, Fabian Christ, Matthias Althoff |
Lexicographic Mixed-Integer Motion Planning with STL Constraints. ![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. 1361-1367, 2023, IEEE, 978-1-6654-6880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Zuokun Ouyang, Meryem Jabloun, Philippe Ravier |
STLformer: Exploit STL Decomposition and Rank Correlation for Time Series Forecasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 31st European Signal Processing Conference, EUSIPCO 2023, Helsinki, Finland, September 4-8, 2023, pp. 1405-1409, 2023, IEEE, 978-9-4645-9360-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Huamin Zhu, Ru Xu, Hongyao Deng |
A novel STL-based hybrid model for forecasting hog price in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 198, pp. 107068, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(23), pp. 5926, December 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ashkan Zehfroosh, Herbert G. Tanner |
Non-Smooth Control Barrier Navigation Functions for STL Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 9, pp. 782783, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 9(3), pp. 2346-2360, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 305 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|