|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 45 occurrences of 42 keywords
|
|
|
Results
Found 84 publication records. Showing 84 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
132 | Fred G. Gustavson, José E. Moreira, Robert F. Enenkel |
The fused multiply-add instruction leads to algorithms for extended-precision floating point: applications to java and high-performance computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, November 8-11, 1999, Mississauga, Ontario, Canada, pp. 4, 1999, IBM. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
Java |
114 | Eric Quinnell, Earl E. Swartzlander Jr., Carl Lemonds |
Bridge Floating-Point Fused Multiply-Add Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(12), pp. 1727-1731, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
114 | Yevgen Voronenko, Markus Püschel |
Mechanical Derivation of Fused Multiply-Add Algorithms for Linear Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(9), pp. 4458-4473, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Yohta Yamamoto, Kenji Kure, Takayoshi Iwai, Takefumi Kanda, Koichi Suzumori |
Flexible displacement sensor using piezoelectric polymer for intelligent FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 765-770, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Mahmoud A. Manzoul, Jia-Yuan Han |
Realization of a multi-valued inner product step processor using CCD's (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 433, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
67 | Su-Shing Chen |
Fusion of Multimedia Information in Biomedicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 494-500, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CBO, FMA, Ontology, information fusion, GO |
61 | Manuela-Luminita Bujorianu, Michael Fisher 0001 (eds.) |
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
Implementing Multi-Periodic Critical Systems: from Design to Code Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 34-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Piotr Kordy, Rom Langerak, Jan Willem Polderman |
Re-verification of a Lip Synchronization Protocol using Robust Reachability ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 49-62, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Mariken H. C. Everdij, Henk A. P. Blom |
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski |
Modelling and Verification of Multiple UAV Mission Using SMV ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 22-33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat |
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 80-87, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Emil Vassev, Mike Hinchey |
Developing Experimental Models for NASA Missions with ASSL ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 88, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres |
Agent Based Approaches to Engineering Autonomous Space Software ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 63-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Mircea Lazar |
Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 76-79, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Formalization and Validation of Safety-Critical Requirements ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 68-75, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith |
An Entry Point for Formal Methods: Specification and Analysis of Event Logs ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 16-21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
58 | Zichu Qi, Qi Guo 0001, Ge Zhang 0007, Xiangku Li, Weiwu Hu |
Design of Low-Cost High-Performance Floating-Point Fused Multiply-Add with Reduced Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010, pp. 206-211, 2010, IEEE Computer Society, 978-0-7695-3928-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
FMA, dual-path FMA, low-power design |
57 | Shuichi Wakimoto, Keiko Ogura, Koichi Suzumori, Yasutaka Nishioka |
Miniature soft hand with curling rubber pneumatic actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 556-561, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Yun Ji Na, Il Seok Ko, Gun Heui Han |
A Design of the Flexible Mobile Agents Based on Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (5) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V, pp. 331-337, 2006, Springer, 3-540-34079-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Security, Mobile Agent, Intelligent Agent, Flexibility |
57 | Barry Smith 0001, José L. V. Mejino Jr., Stefan Schulz 0001, Anand Kumar 0005, Cornelius Rosse |
Anatomical Information Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings, pp. 149-164, 2005, Springer, 3-540-28964-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Keith Rennolls |
A Partial Ontology for Forest Inventory and Mensuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 679-683, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
restricted, caltalogue, e-IO, FIM, FSCTK, FMA, ontology, thesaurus, vocabulary |
38 | António L. Furtado 0001, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa |
A Frame Manipulation Algebra for ER Logical Stage Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 9-24, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
abstract data types, Frames, algebra, semi-structured data |
38 | Jae Keun Park, Sung Je Hong, Jong Kim 0001 |
Mobile Multicast Routing Protocol Using Prediction of Dwelling Time of a Mobile Host. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 884-891, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Keith Rennolls |
An Architectural Design for a Forest Information and Communications Portal (FICP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 684-688, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
EFIS, NEFIS, incommensurate, FSCTK, FMA, FICP, communication, metadata, system, conversion, information, portal, platform, data, harmonization, forest, catalogue |
26 | Geunhyuk Youk, Jihyong Oh, Munchurl Kim |
FMA-Net: Flow-Guided Dynamic Filtering and Iterative Feature Refinement with Multi-Attention for Joint Video Super-Resolution and Deblurring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.03707, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Syed Ismail Abdul Lathif, J. Cruz Antony, V. Noel Jeygar Robert, D. Aishwarya |
Optimize and analysis of drilling PMSM using hybrid technique based on BN, FFT, FCE, and FMA for risk assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 44(6), pp. 9281-9295, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Hongbing Tan, Gan Tong, Libo Huang, Liquan Xiao, Nong Xiao |
Multiple-Mode-Supporting Floating-Point FMA Unit for Deep Learning Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 31(2), pp. 253-266, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | John Osorio Ríos, Adrià Armejach, Eric Petit 0002, Greg Henry, Marc Casas |
A BF16 FMA is All You Need for DNN Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 10(3), pp. 1302-1314, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | John Osorio Ríos, Adrià Armejach, Eric Petit 0002, Greg Henry, Marc Casas |
A BF16 FMA is All You Need for DNN Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 29th IEEE Symposium on Computer Arithmetic, ARITH 2022, Lyon, France, September 12-14, 2022, pp. 9, 2022, IEEE, 978-1-6654-7827-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Yiwen Sun, Yulu Wang, Kun Fu 0002, Zheng Wang 0010, Ziang Yan, Changshui Zhang, Jieping Ye |
FMA-ETA: Estimating Travel Time Entirely Based on FFN with Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2021, Toronto, ON, Canada, June 6-11, 2021, pp. 3355-3359, 2021, IEEE, 978-1-7281-7606-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Tomoya Akabe, Renyuan Zhang, Yasuhiko Nakashima |
Speeding Up of CGRAs by Reshaping and Stochastic FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR (Workshops) ![In: Ninth International Symposium on Computing and Networking, CANDAR 2021 - Workshops, Matsue, Japan, 23-26 November 2021, pp. 272-277, 2021, IEEE, 978-1-6654-1218-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Sandra Jean, Aneesh Raveendran, A. David Selvakumar, Gagandeep Kaur, Shankar G. Dharani, Shashikala Gunderao Pattanshetty, Vivian Desalphine |
P-FMA: A Novel Parameterized Posit Fused Multiply-Accumulate Arithmetic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSID ![In: 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, VLSID 2021, Guwahati, India, February 20-24, 2021, pp. 282-287, 2021, IEEE, 978-1-6654-4087-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Nikhil Kapoor, Chun Yuan, Jonas Löhdefink, Roland Zimmermann 0002, Serin Varghese, Fabian Hüger, Nico M. Schmidt, Peter Schlicht, Tim Fingscheidt |
A Self-Supervised Feature Map Augmentation (FMA) Loss and Combined Augmentations Finetuning to Efficiently Improve the Robustness of CNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.01386, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Yiwen Sun, Yulu Wang, Kun Fu 0002, Zheng Wang 0010, Ziang Yan, Changshui Zhang, Jieping Ye |
FMA-ETA: Estimating Travel Time Entirely Based on FFN With Attention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.04077, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Nikhil Kapoor, Chun Yuan, Jonas Löhdefink, Roland Zimmermann 0002, Serin Varghese, Fabian Hüger, Nico M. Schmidt, Peter Schlicht, Tim Fingscheidt |
A Self-Supervised Feature Map Augmentation (FMA) Loss and Combined Augmentations Finetuning to Efficiently Improve the Robustness of CNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCS ![In: CSCS '20: Computer Science in Cars Symposium, Feldkirchen, Germany, December 2, 2020, pp. 3:1-3:8, 2020, ACM, 978-1-4503-7621-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Hotaka Yagi, Emiko Ishiwata, Hidehiko Hasegawa |
Acceleration of Interactive Multiple Precision Arithmetic Toolbox MuPAT Using FMA, SIMD, and OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Technology Trends, Proceedings of the International Conference on Parallel Computing, PARCO 2019, Prague, Czech Republic, September 10-13, 2019, pp. 431-440, 2019, IOS Press, 978-1-64368-070-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller |
Error bounds on complex floating-point multiplication with an FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 86(304), pp. 881-898, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Michaël Defferrard, Kirell Benzi, Pierre Vandergheynst, Xavier Bresson |
FMA: A Dataset For Music Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
26 | Michaël Defferrard, Kirell Benzi, Pierre Vandergheynst, Xavier Bresson |
FMA: A Dataset for Music Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIR ![In: Proceedings of the 18th International Society for Music Information Retrieval Conference, ISMIR 2017, Suzhou, China, October 23-27, 2017, pp. 316-323, 2017, 978-981-11-5179-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
26 | Christoph Quirin Lauter |
An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 51st Asilomar Conference on Signals, Systems, and Computers, ACSSC 2017, Pacific Grove, CA, USA, October 29 - November 1, 2017, pp. 452-456, 2017, IEEE, 978-1-5386-1823-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Susumu Yamada, Toshiyuki Imamura, Takuya Ina, Narimasa Sasa, Yasuhiro Idomura, Masahiko Machida |
Quadruple-Precision BLAS Using Bailey's Arithmetic with FMA Instruction: Its Performance and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2017, Orlando / Buena Vista, FL, USA, May 29 - June 2, 2017, pp. 1418-1425, 2017, IEEE Computer Society, 978-1-5386-3408-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Kirell Benzi, Michaël Defferrard, Pierre Vandergheynst, Xavier Bresson |
FMA: A Dataset For Music Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.01840, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Akira Wada, Hidehiro Kametani, Koichi Suzumori, Shuichi Wakimoto |
Development of a Hose-Free FMA Driven by a Built-In Gas/Liquid Chemical Reactor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Autom. Technol. ![In: Int. J. Autom. Technol. 10(4), pp. 511-516, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Lucy Lu Wang, Eli Grunblatt, Mark Whipple |
Auditing tree-like organ systems in the FMA using network motifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2016, American Medical Informatics Association Annual Symposium, Chicago, IL, USA, November 12-16, 2016, 2016, AMIA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Yasar Khan, Muntazir Mehdi, Alokkumar Jha, Saleem Raza, André Freitas, Marggie Jones, Ratnesh Sahay |
Extending inner-ear anatomical concepts in the Foundational Model of Anatomy (FMA) ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 15th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2015, Belgrade, Serbia, November 2-4, 2015, pp. 1-6, 2015, IEEE Computer Society, 978-1-4673-7983-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Jean Charlet, Laurent Mazuel, Gunnar Declerck, Patrick Miroux, Pierre Gayet |
Décrire les maladies localisées et la physiopathologie pour une ontologie des urgences : un algorithme générique à partir de la FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC ![In: IC 2014 : 25es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 25th French Knowledge Engineering Conference), Clermont Ferrand, France, May 12-16, 2014., pp. 15-26, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Guangyu Dong, Kai Lin, Keqiu Li, Huayong Luo, Xiangwen Zhang |
FMA-RRSS: Fingerprint Matching Algorithm Based on Relative Received Signal Strength in Indoor Wi-Fi Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE ![In: 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Chengdu, China, December 19-21, 2014, pp. 1071-1077, 2014, IEEE Computer Society, 978-1-4799-7981-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jean Charlet, Laurent Mazuel, Gunnar Declerck, Patrick Miroux, Pierre Gayet |
Describing Localized Diseases in Medical Ontology: An FMA-based Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31 - September 3, 2014, pp. 1023-1027, 2014, IOS Press, 978-1-61499-431-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Lingyun Luo, José L. V. Mejino Jr., Guo-Qiang Zhang 0001 |
An analysis of FMA using structural self-bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 46(3), pp. 497-505, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller |
On the Componentwise Accuracy of Complex Floating-Point Division with an FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 21st IEEE Symposium on Computer Arithmetic, ARITH 2013, Austin, TX, USA, April 7-10, 2013, pp. 83-90, 2013, IEEE Computer Society, 978-1-4673-5644-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jeff Z. Pan, Yuan Ren 0001, Nophadol Jekjantuk, Jhonatan Garcia |
Reasoning the FMA Ontologies with TrOWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 107-113, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Libo Huang, Sheng Ma, Li Shen 0007, Zhiying Wang 0003, Nong Xiao |
Low-Cost Binary128 Floating-Point FMA Unit Design with SIMD Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 61(5), pp. 745-751, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Christopher Harrison, Devin Cook, Robert McGraw, John A. Hamilton Jr. |
Constructing a Cloud-Based IDS by Merging VMI with FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012, pp. 163-169, 2012, IEEE Computer Society, 978-1-4673-2172-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Guo-Qiang Zhang 0001, Lingyun Luo, Chimezie Thomas-Ogbuji, Cliff A. Joslyn, José Leonardo Villaraza Mejino Jr., Satya Sanket Sahoo |
An Analysis of Multi-type Relational Interactions in FMA Using Graph Motifs with Disjointness Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2012, American Medical Informatics Association Annual Symposium, Chicago, Illinois, USA, November 3-7, 2012, 2012, AMIA. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Zekeriya Uykan |
Stabilizing Relaxed Nonlinear FMA Yields a (Combinatorial) Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing - 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I, pp. 416-423, 2012, Springer, 978-3-642-34474-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Sylvie Boldo, Jean-Michel Muller |
Exact and Approximated Error of the FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(2), pp. 157-164, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Sameh Galal, Mark Horowitz |
Latency Sensitive FMA Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011, pp. 129-138, 2011, IEEE Computer Society, 978-0-7695-4318-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Christine Golbreich, Julien Grosjean, Stéfan Jacques Darmoni |
The FMA in OWL 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine - 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings, pp. 204-214, 2011, Springer, 978-3-642-22217-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux |
Newton-Raphson algorithms for floating-point division using an FMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 21st IEEE International Conference on Application-specific Systems Architectures and Processors, ASAP 2010, Rennes, France, 7-9 July 2010, pp. 200-207, 2010, IEEE Computer Society, 978-1-4244-6967-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Huanying Helen Gu, Duo Helen Wei, José L. V. Mejino Jr., Gai Elhanan |
Relationship auditing of the FMA ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 42(3), pp. 550-557, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kresimir Petrinec, Eric Savitsky, Adam Stark |
The FMA Database Browser: A Key Component of an Interactive Image Visualization Pipeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMVR ![In: Medicine Meets Virtual Reality 17 - NextMed: Design for/the Well Being, MMVR 2009, Long Beach, CA, USA, January 19-22, 2009, pp. 259-261, 2009, IOS Press, 978-1-58603-964-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Sylvie Boldo, Guillaume Melquiond |
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(4), pp. 462-471, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Computer arithmetic |
26 | José L. V. Mejino Jr., Daniel L. Rubin, James F. Brinkley |
FMA-RadLex: An Application Ontology of Radiological Anatomy derived from the Foundational Model of Anatomy Reference Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2008, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 8-12, 2008, 2008, AMIA. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Kenji Kure, Takefumi Kanda, Koichi Suzumori, Shuichi Wakimoto |
Intelligent FMA using Flexible Displacement Sensor with Paste Injection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15-19, 2006, Orlando, Florida, USA, pp. 1012-1017, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Alan Au, Xiang Li, John H. Gennari |
Differences Among Cell-structure Ontologies: FMA, GO, & CCO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2006, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 11-15, 2006, 2006, AMIA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Olivier Bodenreider, Songmao Zhang |
Comparing the Representation of Anatomy in the FMA and SNOMED CT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2006, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 11-15, 2006, 2006, AMIA. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Jaafar Alghazo, Nazeih Botros |
Modeling and Synthesis of a Modified Floating Point Fused Multiply-Add (FMA) Arithmetic Unit Using VHDL and FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDES ![In: Proceedings of the 2005 International Conference on Computer Design, CDES 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 136-142, 2005, CSREA Press, 1-932415-54-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | L. J. M. Carrera, J. A. M. Nijhof, Ramjee Prasad |
A proposal of a new MAC layer for FMA 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: The 9th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 1998, Boston, MA, USA, September 8-11, 1998, pp. 434-440, 1998, IEEE, 0-7803-4872-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Eric Jui-Lin Lu, Daniel I. Okunbor |
An Efficient Load Balancing Technique for Parallel FMA in Message Passing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSC ![In: Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, PPSC 1997, Hyatt Regency Minneapolis on Nicollel Mall Hotel, Minneapolis, Minnesota, USA, March 14-17, 1997, 1997, SIAM, 0-89871-395-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
26 | Koichi Suzumori |
FMA hand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Robotics ![In: Adv. Robotics 8(6), pp. 607, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra |
Introduction to Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modular Ontologies ![In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp. 157-158, 2009, Springer, 978-3-642-01906-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Möller, Sven Regel, Michael Sintek |
RadSem: Semantic Annotation and Retrieval for Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 21-35, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jetendr Shamdasani, Tamas Hauer, Peter Bloodsworth, Andrew Branson, Mohammed Odeh, Richard McClatchey |
Semantic Matching Using the UMLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 203-217, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
Structured objects in owl: representation and reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 555-564, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
structured objects, description logics, owl |
19 | Xiang Sean Zhou, Sonja Zillner, Manuel Möller, Michael Sintek, Yiqiang Zhan, Arun Krishnan, Alok Gupta |
Semantics and CBIR: a medical imaging perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 571-580, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantics, image retrieval, medical image analysis |
19 | Nahid Saberi, Mark Coates |
Minimum Rejection Scheduling in All-Photonic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 3rd International Conference on Broadband Communications, Networks, and Systems (BROADNETS 2006), 1-5 October 2006, San José, California, USA, 2006, IEEE, 978-1-4244-0425-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Silvia M. Müller, Christian Jacobi 0002, Hwa-Joon Oh, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong |
The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 27-29 June 2005, Cape Cod, MA, USA, pp. 59-67, 2005, IEEE Computer Society, 0-7695-2366-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Satoshi Komatsu, Masahiro Fujita |
Engineering Changes in Field Modifiable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 87-94, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Ren-Cang Li, Sylvie Boldo, Marc Daumas |
Theorems on Efficient Argument Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain, pp. 129-136, 2003, IEEE Computer Society, 0-7695-1894-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Mikio Takeuchi, Hideaki Komatsu, Toshio Nakatani |
A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 305-315, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
bit-by-bit reproducibility, floating-point speculation, fused multiply-add, reassociation, striding, Java, prefetching, accuracy, instruction-level parallelism, software pipelining, just-in-time compiler, loop unrolling, privatization, IA-64, IEEE 754 |
19 | Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima |
Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 279, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jin Park, Young-Joo Suh, Shin-Gak Kang |
Supporting Mobile Multicast in Mobile Networks by Considering Host Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS/PROMS ![In: Protocols and Systems for Interactive Distributed Multimedia, Joint International Workshops on Interactive Distributed Multimedia Systems and Protocols for Multimedia Systems, IDMS/PROMS 2002, Coimbra, Portugal, November 26-29, 2002, Proceedings, pp. 263-273, 2002, Springer, 3-540-00169-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ajay Naini, Atul Dhablania, Warren James, Debjit Das Sarma |
1-GHz HAL SPARC64 Dual Floating Point Unit with RAS Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 11-17 June 2001, Vail, CO, USA, pp. 173-183, 2001, IEEE Computer Society, 0-7695-1150-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #84 of 84 (100 per page; Change: )
|
|