|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9468 occurrences of 4401 keywords
|
|
|
Results
Found 18256 publication records. Showing 18256 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Tsutomu Sasao, Jon T. Butler |
Worst and Best Irredundant Sum-of-Products Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 935-948, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
complete sum-of-products expressions, irredundant sum-of-products, heuristic minimization, minimum sum-of-products expressions, worst sum-of-products expressions, graph enumeration, minimally strongly connected digraphs, Logic minimization, prime implicants, symmetric functions, multiple-output functions |
56 | Yutaka Hata, Naotake Kamiura, Kazuharu Yamato |
On Input Permutation Technique for Multiple-Valued Logic Synthesis. ![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. 170-177, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
input permutation technique, multiple-valued logic synthesis, multiple valued sum of products expressions, TSUM, minimal sum of products expressions, permuted logic values, randomly generated functions, input permutation, output permutation, minimization times, window literals, sum of products expressions, set literals, logic design, set theory, multivalued logic |
54 | Wilson Oh, Poh Wah Khong |
Competitive advantage through pleasurable products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPPI ![In: Proceedings of the 2003 International Conference on Designing Pleasurable Products and Interfaces, 2003, Pittsburgh, PA, USA, June 23-26, 2003, pp. 87-91, 2003, ACM, 1-58113-652-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
intellectual products, intellectual resources, pleasurable products, competitive advantage, intellectual capital |
50 | Wayne C. Lim |
Effects of Reuse on Quality, Productivity, and Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(5), pp. 23-30, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
reuse programs, leveraged reuse, reusable work products, reuse tools, economic analysis method, multiple reuse programs, metrics, software quality, project management, software metrics, software reuse, quality, productivity, economics, economics, software reusability, software-development process, critical path, time-to-market, reuse library, Hewlett-Packard |
48 | Jan Pries-Heje, Susanne Tryde |
Diffusion and Adoption of IT Products and Processes in a Danish Bank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 17-34, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
47 | Ioannis Ioannidis, Ananth Grama, Mikhail J. Atallah |
A Secure Protocol for Computing Dot-Products in Clustered and Distributed Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 31st International Conference on Parallel Processing (ICPP 2002), 20-23 August 2002, Vancouver, BC, Canada, pp. 379-384, 2002, IEEE Computer Society, 0-7695-1677-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Secure dot-products, Application-level security protocols, Distributed secure computations |
43 | Zhe Ying, Yuetong Wang, Zhiyong Li 0005 |
Research on circulation and e-commerce of Chinese agricultural products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 846-850, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
agricultural products, circulation, e-commerce |
43 | Tsutomu Sasao, Jon T. Butler |
Comparison of the Worst and Best Sum-of-Products Expressions for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 55-60, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
best sum-of-products expressions, worst sum-of-products expressions, logic design algorithms, product terms, multiple-valued variables, upper bound, switching functions, switching functions, multiple-valued functions |
43 | Toshikazu Ohkubo, I. Takenaka, Tetsuo Wasano, M. Omiya |
Quality criteria for realtime microkernel products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 254-260, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
microkernel products, realtime OS, realtime kernel, quality evaluation parameters, quantitative rating, software products, operating system kernels, quantification, quality criteria |
41 | Mark A. Ardis, Barbara L. Marcolin (eds.) |
Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![Kluwer, 0-7923-7331-6 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Pouya Pourkomeylian |
Knowledge Creation in Improving a Software Organisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 205-224, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Carla Freericks |
A Web Innovations on Software Process-Center for Diffusing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 5-16, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Ingegerd Andersson, Kerstin Nilsson |
Diagnosing Diffusion Practices Within a Software Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 111-130, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Klaus Jul Jeppesen |
How to Live with Software Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 225-240, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | E. Burton Swanson |
Telling an Innovation Story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 1-4, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Bjarne Däcker |
Introducing Concurrent Functional Programming in the Telecommunications Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 241-256, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Tor J. Larsen |
The Phenomenon of Diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 35-50, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Toshio Mitsufuji |
A Perspective of the Innovation- Diffusion Process from the Self- Organizing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 51-66, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen |
Understanding and Changing Software Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 87-110, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Richard Veryard |
The Diffusion of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 131-146, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | William D. Stuart, Tracy Callaway Russo, Howard E. Sypher, Thelma E. Simons, Lisa K. Hallberg |
Influences of Sources of Communication on Adoption of a Communication Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 191-204, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Alan S. Koch |
Process Definition in Web- Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 293-, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | L. Levine, G. Syzdek |
Across the Divide: Two Organisations Form a Virtual Team and Codeveplo a Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 147-172, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Helle Zinner Henriksen |
In Search of an Efficient EDIcebreaker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 277-292, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Kalle Lyytinen, Jan Damsgaard |
What's Wrong with the Diffusion of Innovation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 173-190, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Andrew P. Jansma |
Change and Adaptive Behavior in Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 257-276, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
41 | Tom McMaster |
The Illusion of Diffusion in Information Systems Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diffusing Software Products and Process Innovations ![In: Diffusing Software Products and Process Innovations, IFIP TC8 WG8.1 Fourth Working Conference on Diffusing Software Products and Process Innovations, April 7-10, 2001, Banff, Canada, pp. 67-86, 2001, Kluwer, 0-7923-7331-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
39 | Feng Wang, Xiaoshuan Zhang, Cheng Tan, Chuanli Zhuang, Zetian Fu |
Decision Support System for Risk Management in Aquatic Products Export Trade, China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: Computer And Computing Technologies In Agriculture, Volume I, First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007, pp. 371-378, 2007, Springer, 978-0-387-77250-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aquatic products, export trade, decision support system, risk management, China |
39 | Dejan Raskovic, Veljko M. Milutinovic |
New architectures and I/O scheduling methods for scalable storage products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 14-19, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
I/O scheduling methods, scalable storage products, server attached disks, I/O slots, specially designed products, file usage locality concept, standard SMP architecture, DSM architecture, cluster product, standards, shared memory systems, mainframes |
39 | Sandra Levasseur, Frederic Duvivier |
Application of a yield model merging critical areas and defectivity to industrial products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 20-22 October 1997, Paris, France, pp. 11-19, 1997, IEEE Computer Society, 0-8186-8168-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
industrial products, survey sampling based estimation tool, fabrication process, SGS-Thomson Crolles plant, multiple products, process versions, 0.5 micron, robustness, defectivity, EYES, critical areas, yield model, integrated circuit yield |
36 | Daniel Weiß 0001, Jörg Leukel, Stefan Kirn |
Concepts for Modeling Hybrid Products in the Construction Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings, pp. 154-164, 2008, Springer, 978-3-540-79395-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hybrid Products, Meta Modeling, Reference Models, Product Models, Modeling Methods, Product Data Management |
36 | Ali Emre Berkman |
General Interaction Expertise: An Approach for Sampling in Usability Testing of Consumer Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 397-406, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
user expertise, sampling, usability testing, consumer products |
36 | Bart Hengeveld, Riny Voort, Hans van Balkom, Caroline Hummels, Jan de Moor |
Designing for diversity: developing complex adaptive tangible products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 1st International Conference on Tangible and Embedded Interaction 2007, Baton Rouge, Louisiana, USA, February 15-17, 2007, pp. 155-158, 2007, ACM, 978-1-59593-619-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
complex products, multi-handicapped children, adaptability, tangible interaction, edutainment, interactive toys |
36 | Rida T. Farouki, Hwan Pyo Moon, Bahram Ravani |
Algorithms for Minkowski products and implicitly-defined complex sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 13(3), pp. 199-229, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Minkowski geometric algebra, Minkowski sums and products, logarithmic Gauss map, logarithmic curvature, implicitly-defined complex sets, families of curves, set inclusion, boundary evaluation algorithms, envelopes |
36 | Ronald J. Kohl |
AIAA (Draft) Guidebook "Managing the Use of Commercial Off-the-Shelf (COTS) Software Components for Mission Critical Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings, pp. 16, 2004, Springer, 3-540-21903-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Jodi Forlizzi |
Towards the Design and Development of Future Robotic Products and Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: IEEE RO-MAN 2007, 16th IEEE International Symposium on Robot & Human Interactive Communication, August 26-29, 2007, Jeju Island, South Korea, Proceedings, pp. 506, 2007, IEEE, 978-1-4244-1634-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach (eds.) |
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![Springer, 978-3-031-40131-2 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001 |
Implementation Relations for Distributed Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 34-48, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Wen-ling Huang, Robert Sachtleben |
Conformance Relations Between Input/Output Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 49-67, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Christopher Bischopink, Ernst-Rüdiger Olderog |
Time for Traffic Manoeuvres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 163-179, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Jim Woodcock 0001 |
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 237-253, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri |
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 222-236, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Santen |
Debugging Frame Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 320-332, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Martin Fränzle, Willem Hagemann, Werner Damm, Astrid Rakow, Mani Swaminathan |
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 180-201, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Phillip James, Faron Moller, Markus Roggenbach |
Software Model Checking of Interlocking Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 130-146, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Maritta Heisel, Marvin Wagner |
Pattern-Based Risk Identification for Model-Based Risk Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 114-129, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Jörg Brauer |
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 257-271, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori |
Decomposing the Verification of Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 96-113, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Mario Gleirscher |
Supervision of Intelligent Systems: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 202-221, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Pretschner, Florian Hauer 0002, Tabea Schmidt |
On Scenario-Based Testing of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 68-82, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Knapp |
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 289-307, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Alireza Mahzoon, Rolf Drechsler |
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 308-319, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Jens Braband |
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 85-95, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Bevin Duckett, Klaus Havelund, Luke Stewart |
Space Telemetry Analysis with PyContract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 272-288, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Thierry Lecomte |
Formal Modelling to Improve Safety and Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 147-159, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Ana Cavalcanti 0001, Alvaro Miyazawa, Uwe Schulze, Jon Timmis |
Bringing RoboStar and RT-Tester Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 16-33, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Michael E. Akintunde, Martim Brandão, Gunel Jahangirova, Hector Menendez, Mohammad Reza Mousavi, Jie Zhang |
On Testing Ethical Autonomous Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 3-15, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | |
Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![Baltic Journal of Modern Computing The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Marta R. Costa-jussà |
Integration of machine translation paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Barry Haddow, Alexander M. Fraser |
HimL: Health in my language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Aarne Ranta, Krasimir Angelov, Thomas Hallgren, Prasanth Kolachina, Inari Listenmaa |
International translation in the Grammatical Framework (GF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Martin Popel, Roman Sudarikov, Ondrej Bojar, Rudolf Rosa, Jan Hajic |
TectoMT - a deep linguistic core of the combined Cimera MT system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Peteris Nikiforovs |
iEMS - interactive experiment management system for machine translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Laura Casanellas Luri |
KantanLQR: a platform for human evaluation of machine translation output to drive engine rapid improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Pierrette Bouillon, Hervé Spechbach |
BabelDr: a web platform for rapid construction of phrasebook-style medical speech translation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Katarzyna Barczewska, Jakub Galka, Filip Malawski, Mariusz Masior, Dorota Szulc, Tomasz Wilczynski, Krzysztof Wróbel 0002 |
WiTKoM - virtual sign language translator project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Andrei Popescu-Belis, Jacqueline Evers-Vermeul, Mark Fishel, Cristina Grisot, M. Groen, J. Hoeck, Sharid Loáiciga, Ngoc-Quang Luong, L. Mascarelli, Thomas Meyer 0003, Lesly Miculicich, Jacques Moeschler, Xiao Pu 0001, Annette Rios, Ted Sanders, Martin Volk 0001, Sandrine Zufferey |
MODERN: modelling discourse entities and relations for coherent machine translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Georg Rehm, Felix Sasaki |
Digital curation technologies (DKT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Alexandre Helle, Manuel Herranz |
PangeaMT v 3 - customise your own machine translation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Gema Ramírez-Sánchez |
AltLang: an automatic converter between varieties of English, Spanish, French and Portuguese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Constantin Orasan |
The EXPERT project: training the future experts in translation technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Antonio Toral, Sergio Ortiz-Rojas, Mikel L. Forcada, Nikola Ljubesic, Prokopis Prokopidis |
Abu-MaTran: automatic building of machine translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Aarne Ranta, Krasimir Angelov, Markus Forsberg, Thomas Hallgren |
Domain-specific multilingual translation for producers of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Mikel L. Forcada, Francis M. Tyers |
Apertium: a free/open source platform for machine translation and basic language technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Gustavo H. Paetzold, Lucia Specia |
Multi-level quality prediction with QuEst++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Georg Rehm |
CRACKER - cracking the language barrier. Selected results 2015/2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Alexandru Ceausu, Sabine Hunsicker, Tudy Droumaguet |
Amplexor MTExpert - machine translation adapted to the translation workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Vincent Vandeghinste, Tom Vanallemeersch, Liesbeth Augustinus, Joris Pelemans, G. Heymans, Iulianna Van der Lek-Ciudin, Arda Tezcan, Donald Degraen, Jan Van den Bergh 0001, Lieve Macken, Els Lefever, Marie-Francine Moens, Patrick Wambacq, Frieda Steurs, Karin Coninx, Frank Van Eynde |
SCATE - smart computer aided translation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Ulrich Germann, Eduard Barbu, Luisa Bentivogli, Nicola Bertoldi, Nikolay Bogoychev, Christian Buck, Davide Caroselli, Luis Carvalho, Alessandro Cattelan, Mauro Cettolo, Marcello Federico, Barry Haddow, David Madl, Luca Mastrostefano, Prashant Mathur, Achim Ruopp, Anna Samiotou, Vinod Sudharshan, Marco Trombetti, Jan van der Meer |
Modern MT: a new open-source machine translation platform for the translation industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Jörg Tiedemann |
OPUS - parallel corpora for everyone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Valia Kordoni, Lexi Birch, Ioana Buliga, Kostadin Cholakov, Markus Egg, Federico Gaspari, Yota Georgakopoulou, Maria Gialama, Iris Hendrickx, Mitja Jermol, Katia Kermanidis, Joss Moorkens, Davor Orlic, Michael Papadopoulos, Maja Popovic, Rico Sennrich, Vilelmini Sosoni, Dimitrios Tsoumakos, Antal van den Bosch, Menno van Zaanen, Andy Way |
TraMOOC (Translation for Massive Open Online Courses): providing reliable MT for MOOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Nadira Hofmann |
STAR Transit & STAR MT: morphologically generated additional information for improving MT quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT (Projects/Products) ![In: Proceedings of the 19th Annual Conference of the European Association for Machine Translation: Projects/Products, EAMT 2016, Riga, Latvia, May 30 - June 1, 2016, 2016, Baltic Journal of Modern Computing. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
32 | Pearl Pu, Maoan Zhou, Sylvain Castagnos |
Critiquing recommenders for public taste products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2009 ACM Conference on Recommender Systems, RecSys 2009, New York, NY, USA, October 23-25, 2009, pp. 249-252, 2009, ACM, 978-1-60558-435-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
critiquing based recommender system, public taste products, user acceptance of recommenders, compound critiques |
32 | Panagiotis Xidonas, Alexandros Flamos, Sotirios Koussouris, Dimitris Askounis, Ioannis Psarras |
On the appraisal of consumer credit banking products within the asset quality frame: A multiple criteria application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 7(2), pp. 255-283, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Banking Asset Quality, Banking Ratio Analysis, Banking Products Appraisal & Multiple-Criteria Decision Making |
32 | Wen-Ko Chiou, Bi-Hui Chen, Ming-Hsu Wang, You-Zhao Liang |
User-Oriented Design (UOD) Patterns for Innovation Design at Digital Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 1053-1061, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Digital Products, UOD Patterns, User-Oriented Design, Innovation Design |
32 | Michael Schmitz 0001, Antonio Krüger, Sarah Schmidt |
Modelling personality in voices of talking products through prosodic parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 12th International Conference on Intelligent User Interfaces, IUI 2007, Honolulu, Hawaii, USA, January 28-31, 2007, pp. 313-316, 2007, ACM, 1-59593-481-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
anthropomorphic interfaces, prosody modelling, talking products |
32 | Bilge Mutlu |
An empirical framework for designing social products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the Conference on Designing Interactive Systems,University Park, PA, USA, June 26-28, 2006, pp. 341-342, 2006, ACM, 1-59593-367-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
social context of use, social products, user attributes, interaction design, design methodology, social interaction, personal robots |
32 | Petrik Clarberg, Wojciech Jarosz, Tomas Akenine-Möller, Henrik Wann Jensen |
Wavelet importance sampling: efficiently evaluating products of complex functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 24(3), pp. 1166-1175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
complex products, wavelets, rendering, global illumination, importance sampling, Monte Carlo techniques |
32 | Ayineedi Venkateswarlu, Subhamoy Maitra |
Further Results on Multiples of Primitive Polynomials and Their Products over GF(2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 4th International Conference, ICICS 2002, Singapore, December 9-12, 2002, Proceedings, pp. 231-242, 2002, Springer, 3-540-00164-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Nonlinear Combiner Model, Primitive Polynomials & Their Products, Cryptanalysis, Stream Cipher, Galois Field, Polynomial Multiples |
32 | Satish Subramanian |
Software Asset Management and Domain Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 494-495, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Jung-Yup Kang, Jean-Luc Gaudiot |
A Simple High-Speed Multiplier Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(10), pp. 1253-1258, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Booth, modified Booth, Multiplier, partial products |
30 | Jodi Forlizzi, Francine Gemperle, Carl F. DiSalvo |
Perceptive sorting: a method for understanding responses to products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPPI ![In: Proceedings of the 2003 International Conference on Designing Pleasurable Products and Interfaces, 2003, Pittsburgh, PA, USA, June 23-26, 2003, pp. 103-108, 2003, ACM, 1-58113-652-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
design research methods, robots, interaction design, product design, elders |
29 | Jodi Forlizzi |
How robotic products become social products: an ethnographic study of cleaning in the home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, HRI 2007, Arlington, Virginia, USA, March 10-12, 2007, pp. 129-136, 2007, ACM, 978-1-59593-617-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
robotic products, robots, interaction design, ethnography |
29 | Lijuan Wang, Xichao Sun, Feng Dang |
Dynamic Cooperation Mechanism in Supply Chain for Perishable Agricultural Products under One -to- Multi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 1212-1221, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Dynamic cooperation mechanism, Perishable products, Grey matrix, Grey game, One -to-multi |
29 | Pankaj Gupta 0001, Mukesh Kumar Mehlawat, Garima Mittal, Shilpi Verma |
A Hybrid Approach for Selecting Optimal COTS Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I, pp. 949-962, 2009, Springer, 978-3-642-02453-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quality optimization, software system, fuzzy optimization, COTS products |
29 | Qiong Liu 0002, Gang Zhou, Chaoyong Zhang |
Research on TOC Accounting Based Decision Making of Products Pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 485-494, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TOC accounting, decision making of products pricing, polynomial fitting method, Genetic algorithm, Back-Propagation Neural Network |
29 | Erwin Aitenbichler, Fernando Lyardet, Gerhard Austaller, Jussi Kangasharju, Max Mühlhäuser |
Engineering intuitive and self-explanatory smart products. ![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. 1632-1637, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
smart products, ubiquitous computing, user-centered design |
29 | Yanping Liu, Ying Wang |
A Review of Technology and Products Supporting E-Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (1) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 1, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 513-518, 2007, Springer, 978-0-387-75901-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Knowledge management, E-learning, Products, Technology |
29 | Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac |
Multimo dal Logics of Products of Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(3), pp. 369-392, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies |
29 | Alain Abran, Marcela Maya |
A sizing measure for adaptive maintenance work products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 286-294, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
software sizing measure, adaptive maintenance work products, productivity analysis, sizing technique, software maintenance, software maintenance, software metrics, organization, granularity, software development management, software cost estimation, human resource management, Function Points, productivity models |
Displaying result #1 - #100 of 18256 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|