|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7723 occurrences of 4253 keywords
|
|
|
Results
Found 14948 publication records. Showing 14826 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
68 | Muriel Médard, Richard A. Barry, Steven G. Finn, Wenbo He, Steven Lumetta |
Generalized loop-back recovery in optical mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 10(1), pp. 153-164, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
loop-back, network restoration, mesh networks, WDM |
53 | Mai Miyabe, Takashi Yoshino 0001 |
Accuracy evaluation of sentences translated to intermediate language in back translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUCS ![In: Proceedings of the 3rd International Universal Communication Symposium, IUCS 2009, Tokyo, Japan, 3-4 December 2009, pp. 30-35, 2009, ACM, 978-1-60558-641-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
back translation, translation accuracy, machine translation |
49 | Robert Cypher, C. Bernard Shung |
Generalized trace-back techniques for survivor memory management in the Viterbi algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 5(1), pp. 85-94, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
trace-back, survivor memory, VLSI area requirements, Viterbi algorithm |
46 | Christian Schwennen, Bernhard Zimolong |
Defeating Back Pain at the Workplace: Results of the "Healthy Back" Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 95-104, 2009, Springer, 978-3-642-02730-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
worksite health promotion program, multilevel program, back pain, health management |
45 | Maurice H. ter Beek, Alessandro Fantechi, Laura Semini |
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 1-11, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
45 | Tomohiro Shigenobu |
Evaluation and Usability of Back Translation for Intercultural Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 259-265, 2007, Springer, 978-3-540-73288-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Back translation, Usability, Machine translation, Intercultural communication |
43 | Wei Wang, Bo Yu |
Text categorization based on combination of modified back propagation neural network and latent semantic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(8), pp. 875-881, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Modified back propagation neural network, Singular value decomposition, Text categorization, Latent semantic analysis, Back propagation neural network |
42 | Norival R. Figueira, Joseph Pasquale |
VirtualQueue: A Technique for Packet Voice Stream Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 312-316, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
packet voice streams, voice play-back, play-back delay, delay jitter compensation |
41 | Kerry L. Holland, Robert L. Williams, Robert R. Conatser Jr., John N. Howell, Dennis L. Cade |
The implementation and evaluation of a virtual haptic back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Real. ![In: Virtual Real. 7(2), pp. 94-102, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Haptics-augmented training, Virtual haptic anatomy, Virtual haptic back, Haptics, Haptic interface |
41 | Keun-Bae Kim, Hyup Jong Kim |
Back-Pressure Buffering Scheme to Improve the Cell Loss Property on the Output Buffered ATM Switch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 242-248, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
back-pressure buffering, cell loss property, output buffered ATM switch, input cells, push-out mechanism, selective pressure mechanism, small sized memory, asynchronous transfer mode, shared memory, queueing theory, simulation results, computer simulation, performance comparison, FIFO, switch fabric, output buffer |
37 | Ferroudja Cherief |
Back and Forth Bisimulations On Prime Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 843-858, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures |
37 | Hilla Back, Philipp Back |
Virtual Work and the Inclusion of Linguistic Minorities: A Double-Edged Sword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 6967-6976, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
37 | Emma A. Bäck, Hanna Bäck, Annika Fredén, Nils Gustafsson |
A social safety net? Rejection sensitivity and political opinion sharing among young people in social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 21(2), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Jon Back, Svante Back, Emma Bexell, Stefan Stanisic, Daniel Rosqvist |
the Quest: An Escape Room Inspired Interactive Museum Exhibition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI PLAY (Companion) ![In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, Barcelona, Spain, October 22-25, 2019, pp. 81-86, 2019, ACM, 978-1-4503-6871-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) |
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![Springer, 978-3-030-30984-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin |
A Decade of Featured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 285-312, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente |
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 267-281, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Giuseppe Lami, Mario Fusani, Gianluca Trentanni |
QuARS: A Pioneer Tool for NL Requirement Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 211-219, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Jan Friso Groote, Erik P. de Vink |
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 449-463, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Gabriele Lenzini, Marinella Petrocchi |
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 502-518, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen |
Product Line Verification via Modal Meta Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 313-337, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
Innovating Medical Image Analysis via Spatial Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 85-109, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Flavio Corradini, Fausto Marcantoni, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Massimiliano Sampaolo |
Enabling Auditing of Smart Contracts Through Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 467-480, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu 0001, Eric Jenn |
Hunting Superfluous Locks with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 416-432, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Ugo Montanari |
From Dynamic Programming to Programming Science - Some Recollections in Honour of Stefania Gnesi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 12-15, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti |
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 377-396, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Vincenzo Gervasi, Alessio Ferrari 0001, Didar Zowghi, Paola Spoletini |
Ambiguity in Requirements Engineering: Towards a Unifying Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 191-210, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo |
How Formal Methods Can Contribute to 5G Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 548-571, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Anne E. Haxthausen, Kristian Hede |
Formal Verification of Railway Timetables - Using the UPPAAL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 433-448, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Antonia Bertolino, Paola Inverardi |
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 56-66, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Rolf Hennicker, Martin Wirsing |
A Generic Dynamic Logic with Applications to Interaction-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 172-187, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Klaus Schmid, Sascha El-Sharkawy, Christian Kröher |
Improving Software Engineering Research Through Experimentation Workbenches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 67-82, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi 0001, Christos Tsigkanos |
Formal Methods in Designing Critical Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 110-130, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti |
On the Prediction of Smart Contracts' Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 397-415, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Cinzia Bernardeschi, Andrea Domenici |
Application of Model Checking to Fault Tolerance Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 531-547, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Sandy Beidu, Joanne M. Atlee |
Detecting Feature Interactions in FORML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 220-235, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Tommaso Bolognesi |
Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 519-530, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Roberto Garigliano, Luisa Mich |
Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 250-266, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro |
Logical Support for Bike-Sharing System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 152-171, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Antonio Bucchiarone, Marina Mongiello |
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 19-39, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile 0001 |
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 481-501, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni |
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 239-249, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce |
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 40-55, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria |
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 338-364, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Davide Basile 0001, Rosario Pugliese, Francesco Tiezzi 0001, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Automata-Based Behavioural Contracts with Action Correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 131-151, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | David Benavides 0001 |
Variability Modelling and Analysis During 30 Years. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 365-373, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Reinhard Wilhelm (eds.) |
Informatics - 10 Years Back. 10 Years Ahead. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatics - 10 Years Back. 10 Years Ahead. ![Springer, 3-540-41635-8 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Victoria Ungureanu, Benjamin Melamed, Michael N. Katehakis |
The LC Assignment Policy for Cluster-Based Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August - 1 September 2004, Cambridge, MA, USA, pp. 177-184, 2004, IEEE Computer Society, 0-7695-2242-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cluster-based servers, back-end server architecture, job preemption, simulation |
36 | Theodor Richardson |
Preventing Attacks on Back-End Servers using Masquerading/Honeypots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 381-388, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Tony Bergstrom, Karrie Karahalios |
Vote and Be Heard: Adding Back-Channel Signals to Social Mirrors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 546-559, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
back-channel, Anonymous, feedback, voting, collocated, debate |
34 | Sylvain Guilley, Florent Flament, Philippe Hoogvorst, Renaud Pacalet, Yves Mathieu |
Secured CAD Back-End Flow for Power-Analysis-Resistant Cryptoprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 24(6), pp. 546-555, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
robust hardware, back-end design automation, power-constant architectures, DFY, side-channel attacks, DFM, mitigation |
34 | Shensheng Tang, Wei Wayne Li |
Modeling and analysis of hierarchical cellular networks with bidirectional overflow and take-back strategies under generally distributed cell residence times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 32(1), pp. 71-91, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Take-back, Channel occupancy time, Handoff, Overflow, Cell residence time, Hierarchical cellular networks |
34 | Amirali Baniasadi, Andreas Moshovos |
Asymmetric-frequency clustering: a power-aware back-end for high-performance processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002, Monterey, California, USA, August 12-14, 2002, pp. 255-258, 2002, ACM, 1-58113-475-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
assymetric frequency clustering, high-performance processors, instruction criticality, processor back-end, power-aware architectures |
34 | Jonathan L. Wang |
Impact of self-similarity on the go-back-N ARQ protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 250, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
go-back-N ARQ protocols, packet traffic, fractal properties, self-similar properties, link-layer error control mechanism, maximum throughput efficiency, Gilbert's 2-state error mode, parameter matching technique, frame transmission time, network engineering, delay, self-similarity, automatic repeat request, propagation delay, burstiness |
33 | Mohammad Ehab Ragab, Kin-hong Wong, Junzhou Chen, Michael Ming Yuen Chang |
EKF Based Pose Estimation using Two Back-to-Back Stereo Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (6) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 137-140, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Holger Harms, Oliver Amft, Gerhard Tröster, Mirjam Appert, Roland Müller, Andreas Meyer-Heim |
Wearable therapist: sensing garments for supporting children improve posture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiComp ![In: UbiComp 2009: Ubiquitous Computing, 11th International Conference, UbiComp 2009, Orlando, Florida, USA, September 30 - October 3, 2009, Proceedings, pp. 85-88, 2009, ACM, 978-1-60558-431-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
back posture, smart garments, smash, rehabilitation |
32 | Fernando Latorre, José González 0002, Antonio González 0001 |
Back-end assignment schemes for clustered multithreaded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 18th Annual International Conference on Supercomputing, ICS 2004, Saint Malo, France, June 26 - July 01, 2004, pp. 316-325, 2004, ACM, 1-58113-839-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
clustered, CMP, multithreaded, steering |
31 | Vivek S. Pai, Mohit Aron, Gaurav Banga, Michael Svendsen, Peter Druschel, Willy Zwaenepoel, Erich M. Nahum |
Locality-Aware Request Distribution in Cluster-based Network Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 205-216, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Patrick Baudisch, Gerry Chu |
Back-of-device interaction allows creating very small touch devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Boston, MA, USA, April 4-9, 2009, pp. 1923-1932, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
back-of-device interaction, lucidtouch, nanotouch, mobile devices, input devices, pointing, touch |
30 | Driss Kettani, Asmae El Mahdi |
Back office integration issues in developing country context: lessons learned from a case study in Morocco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008, pp. 367-372, 2008, ACM, 978-1-60558-386-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
back office automation, citizens' lives events, local public administration, record keeping, information and communication technologies (ICT) |
30 | J. Tang, James Langston, Michael Sloderbeck, Dean Ouellette, P. G. McLaren |
In system emulation (ISE) of a current differential back-up protection relay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 70-75, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
differential protection, wide-area back-up protection, emulation, relay |
30 | João Marcelo Monte da Silva, Rafael Dueire Lins |
A fast algorithm to binarize and filter documents with back-to-front interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 639-640, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
entropy, document engineering, show-through, bleeding, back-to-front interference |
30 | Rafael Dueire Lins, João Marcelo Monte da Silva |
A quantitative method for assessing algorithms to remove back-to-front interference in documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 610-616, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
show through, bleeding, back-to-front interference |
30 | Wei Ji, Robert L. Williams II, John N. Howell, Robert R. Conatser Jr. |
3D Stereo Viewing Evaluation for the Virtual Haptic Back Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 14th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2006), 25-26 March 2006, Arlington, VA, USA, Proceedings, pp. 36, 2006, IEEE Computer Society, 1-4244-0226-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
mirror viewing system, integration of haptic image and graphical image, Virtual Haptic Back, head-mounted display, PHANToM |
30 | Cathy O'Bryan |
Online and instructor-led technical training: a charge-back model that works! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 266-269, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
charge back, charters, cost recovery, customer relations, online professional development, project charters, technical training, training courses, training sessions, workforce training, project management, online learning, customer service, professional development |
30 | Andrey Feuerverger, Jeffrey S. Rosenthal |
Achieving limiting distributions for Markov chains using back buttons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 14(2), pp. 131-141, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back button, backoff process, BACKMET algorithm, World Wide Web, Metropolis-Hastings algorithm |
30 | Fabien Mathieu, Mohamed Bouklit |
The effect of the back button in a random walk: application for pagerank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 370-371, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back button, random walk, pagerank, flow, web analysis |
30 | Robert L. Williams II, Mayank Srivastava, John N. Howell, Robert R. Conatser Jr., David C. Eland, Janet M. Burns, Anthony G. Chila |
The virtual haptic back for palpatory training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 6th International Conference on Multimodal Interfaces, ICMI 2004, State College, PA, USA, October 13-15, 2004, pp. 191-197, 2004, ACM, 1-58113-995-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
palpatory diagnosis, virtual haptic back, training, haptics, PHANToM |
29 | Luis A. Trejo, Carlos Sandoval |
Improving Back-Propagation: Epsilon-Back-Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: From Natural to Artificial Neural Computation, International Workshop on Artificial Neural Networks, IWANN '95, Malaga-Torremolinos, Spain, June 7-9, 1995, Proceedings, pp. 427-432, 1995, Springer, 3-540-59497-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Farnaz Mounes-Toussi, David J. Lilja |
Write buffer design for cache-coherent shared-memory multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 506-511, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
write-buffer configurations, one word per buffer entry, one block per buffer entry, write-through, write-back, competitive-performance, shared-memory multiprocessors, shared memory systems, cache-coherent, memory architecture, buffer storage, cache storage, execution-driven simulator, write policies |
28 | Adrian Lienhard, Julien Fierz, Oscar Nierstrasz |
Flow-Centric, Back-in-Time Debugging . ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 272-288, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Shengyang Dai, Mei Han, Ying Wu 0001, Yihong Gong |
Bilateral Back-Projection for Single Image Super Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 1039-1042, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Slaven Bilac, Hozumi Tanaka |
Direct Combination of Spelling and Pronunciation Information for Robust Back-Transliteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings, pp. 413-424, 2005, Springer, 3-540-24523-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Urs Bischoff, Jarek Rossignac |
TetStreamer: Compressed Back-to-Front Transmission of Delaunay Tetrahedra Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2005 Data Compression Conference (DCC 2005), 29-31 March 2005, Snowbird, UT, USA, pp. 93-102, 2005, IEEE Computer Society, 0-7695-2309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Cees Witteveen, Wiebe van der Hoek |
Revising and Updating Using a Back-Up Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 388-403, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Updating, Nonmonotonic Reasoning, Theory Revision |
28 | Zheng Tang, Okihiko Ishizuka, Koichi Tanno |
Learning Multiple-Valued Logic Networks Based on Back Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 270-275, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiple-valued logic networks learning, canonical realization, initial parameters, neural nets, simulation results, backpropagation, backpropagation, multivalued logic, parameter space, functional completeness |
28 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 152-165, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Thiago Rios, Jiawen Kong, Bas van Stein, Thomas Bäck, Patricia Wollstadt, Bernhard Sendhoff, Stefan Menzel |
Back To Meshes: Optimal Simulation-ready Mesh Prototypes For Autoencoder-based 3D Car Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020, Canberra, Australia, December 1-4, 2020, pp. 942-949, 2020, IEEE, 978-1-7281-2547-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Haiyi Zhang, JianDong Bi, Barbro Back |
The Design and Implementation of Color Matching System Based on Back Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 557-566, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Andrew D. Back |
New techniques for nonlinear system identification : a rapprochement between neural networks and linear systems / by Andrew D. Back ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
DOI RDF |
|
27 | Vincent Lin |
A Proposal for Calling Conventions for APL Defined Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the APL 96 Conference on Designing the Future, APL 1996, Lancaster, UK, July 29 - August 1, 1996., pp. 63-75, 1996, ACM, 0-89791-806-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
APL |
26 | Michael S. Schlansker, Vinod Kathail, Sadun Anik |
Height reduction of control recurrences for ILP processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 27th Annual International Symposium on Microarchitecture, San Jose, California, USA, November 30 - December 2, 1994, pp. 40-51, 1994, ACM / IEEE Computer Society, 0-89791-707-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
back-substitution, blocked back-substitution, control height reduction, parallelism, software pipeline, control dependences, loop optimization, recurrences |
26 | Chih-Hung Wu, Chiung-Hui Tsai |
Robust classification for spam filtering by back-propagation neural networks using behavior-based features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 31(2), pp. 107-121, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Spam e-mails, Neural networks, Machine learning, Classification, Back-propagation |
26 | Lean Yu, Shouyang Wang, Kin Keung Lai |
Forecasting foreign exchange rates with an improved back-propagation learning algorithm with adaptive smoothing momentum terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 3(2), pp. 167-176, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adaptive smoothing momentum, foreign exchange rates forecasting, heuristic method, back-propagation neural network |
26 | Noel Lopes, Bernardete Ribeiro |
GPU Implementation of the Multiple Back-Propagation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 449-456, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multiple Back-Propagation, Parallel Programming, CUDA, GPU Computing |
26 | John Vrettaros, George A. Vouros, Athanasios Drigas |
An Expedient Study on Back-Propagation (BPN) Neural Networks for Modeling Automated Evaluation of the Answers and Progress of Deaf Students' That Possess Basic Knowledge of the English Language and Computer Skills. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: Best Practices for the Knowledge Society. Knowledge, Learning, Development and Technology for All, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 542-551, 2009, Springer, 978-3-642-04756-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Back-propagation Network models, Neural Networks, diagnosis |
26 | Francesco Ceravolo, Matteo De Felice, Stefano Pizzuti |
Combining Back-Propagation and Genetic Algorithms to Train Neural Networks for Ambient Temperature Modeling in Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 123-131, 2009, Springer, 978-3-642-01128-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ambient Temperature Modeling, Sustainable Building Design, Neural Networks, Back-Propagation Algorithm, Simple Genetic Algorithm |
26 | João Marcelo Monte da Silva, Rafael Dueire Lins, Gabriel Pereira e Silva |
Enhancing the Quality of Color Documents with Back-to-Front Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings, pp. 875-885, 2009, Springer, 978-3-642-02610-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Document Enhancement, Show-through, Bleeding, Back-to-Front interference |
26 | Driton Statovci, Tomas Nordström |
Performance Evaluation of the Cable Bundle Unique Power Back-Off Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AccessNets ![In: AccessNets, Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers, pp. 365-380, 2008, Springer, 978-3-642-04647-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
VDSL, Power back-off, Optimization, DSL, Demonstrator |
26 | Taskin Koçak, Matthew Draper |
A Back-propagation Neural Network Landmine Detector Using the Delta-technique and S-statistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 23(1), pp. 47-54, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
false alarm filtering, mine detection, S-statistic, ?-technique, back-propagation neural networks |
26 | Giuseppe Nunnari |
An improved back propagation algorithm topredict episodes of poor air quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(2), pp. 132-139, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Air quality forecast, Neural networks, Stochastic models, Back propagation |
26 | João Marcelo Monte da Silva, Rafael Dueire Lins, Valdemar Cardoso da Rocha |
Binarizing and filtering historical documents with back-to-front interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 853-858, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
document engineering, back-to-front interference |
26 | Songcan Chen, Qun Dai |
Discounted least squares-improved circular back-propogation neural networks with applications in time series prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 14(3), pp. 250-255, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Discounted least squares (DLS), Improved circular back-propagation network, Time series predicting or forecasting, Occams Razor principle |
26 | Iuon-Chang Lin, Hsia-Hung Ou, Min-Shiang Hwang |
A user authentication system using back-propagation network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 14(3), pp. 243-249, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Neural network, Information security, User authentication, One-way hash function, Back-propagation network |
26 | Suresh Sundaram 0002, S. N. Omkar 0001, V. Mani |
Parallel Implementation of Back-Propagation Algorithm in Networks of Workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(1), pp. 24-34, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
optical character recognition, performance measures, Multilayer perceptron, network of workstation, back-propagation, divisible load theory |
26 | Natasa Milic-Frayling, Rachel Jones, Kerry Rodden, Gavin Smyth, Alan F. Blackwell, Ralph Sommerer |
Smartback: supporting users in back navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 63-71, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back navigation, web trails, navigation, browsing, usability study, revisitation, web usage |
26 | Marcin Sydow |
Random surfer with back step. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 352-353, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
back step, PageRank, ranking algorithms |
26 | Vladimir Hahanov, Raimund Ubar, Stanley Hyduke |
Back-Traced Deductive-Parallel Fault Simulation for Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2003 Euromicro Symposium on Digital Systems Design (DSD 2003), Architectures, Methods and Tools, 3-5 September 2003, Belek-Antalya, Turkey, pp. 370-377, 2003, IEEE Computer Society, 0-7695-2003-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
back traced simulation, re-convergent fan-outs, fault analysis model, ATPG, parallel simulation, deductive |
26 | Chia-Ju Wu, Ching-Huo Huang |
Back-propagation neural networks for identification and control of a direct drive robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 16(1), pp. 45-64, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
back-propagation training method, computed-torque method, Neural networks, parameter identification, direct drive robots |
25 | K. Bommanna Raja, M. Madheswaran, K. Thyagarajah |
A Hybrid Fuzzy-Neural System for Computer-Aided Diagnosis of Ultrasound Kidney Images Using Prominent Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 32(1), pp. 65-83, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
US kidney image analysis, Multi-layer back propagation network, Fuzzy-neural system, Kidney classification, Feature extraction, Computer-aided diagnosis |
Displaying result #1 - #100 of 14826 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|