|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 41477 occurrences of 12536 keywords
|
|
|
Results
Found 67940 publication records. Showing 67940 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Jörg Fliege, Christoph Heermann, Bernd Weyers |
A New Adaptive Algorithm for Convex Quadratic Multicriteria Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Oliver Giel |
Runtime Analysis of a Simple Multi-Objective Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Carlos M. Fonseca, Peter J. Fleming |
Multiobjective Optimization and Multiple Constraint Handling with Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Pradyumn Kumar Shukla, Joydeep Dutta, Kalyanmoy Deb |
On Properly Pareto Optimal Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Hisao Ishibuchi |
Effects of Crossover Operations on the Performance of EMO Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Thomas Hanne |
Application Issues for Multiobjective Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Sanaz Mostaghim, Jürgen Teich |
A New Approach on Many Objective Diversity Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Daisuke Sasaki, Shigeru Obayashi |
Visualization of Global Trade-Offs in Aerodynamic Problems by ARMOGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Approaches to Multi-Objective Optimization ![In: Practical Approaches to Multi-Objective Optimization, 7.-12. November 2004, 2005, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
22 | Stefan Spieck, Mark Weigelt, Jürgen Falk, Peter Mertens |
Decentralized problem solving in logistics and production with partly intelligent agents and comparison with alternative approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 52-61, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
logistics data processing, decentralized problem solving, partly intelligent agents, DAI techniques, production problems, PIAs, knowledge-based components, DAI-approaches, distributed processing, knowledge based systems, software agents, production, problem solving, logistics, distributed artificial intelligence, cooperative systems, agent systems, real-world problems |
22 | Luan Ling Lee |
Neural approaches for human signature verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1055-1058, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
neural approaches, human signature verification, Bayes multilayer perceptrons, input-oriented neural networks, network training, instantaneous absolute velocity, spatial coordinate time functions, misclassification error rate, multilayer perceptrons, time-delay neural networks, backpropagation algorithm |
22 | Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe |
What do we mean by theoretically sound research in computer science education? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 230-231, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
research approaches, socio-cultural research perspective, computer science education, action research, phenomenography, cognitive theories |
21 | Hector Ouilhet |
Google Sky Map: using your phone as an interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, Mobile HCI 2010, Lisbon, Portugal, September 7-10, 2010, pp. 419-422, 2010, ACM, 978-1-60558-835-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Xinghua Shi, Rick Stevens |
SWARM: a scientific workflow for supporting bayesian approaches to improve metabolic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLADE ![In: 6th International Workshop on Challenges of Large Applications in Distributed Environments, CLADE@HPDC 2008, Boston, MA, USA, June 23, 2008, pp. 25-34, 2008, ACM, 978-1-60558-156-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
metabolic models, scientific workflow, bayesian approaches |
20 | Dengfeng Hu, Yun Chen, Guozheng Zhang |
A Framework of Analysis: Approaches in the Applications of E-CRM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 304-310, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
approaches, data mining, optimization, e-CRM |
20 | Christoph C. Michael, Anup K. Ghosh |
Two State-based Approaches to Program-based Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 16th Annual Computer Security Applications Conference (ACSAC 2000), 11-15 December 2000, New Orleans, Louisiana, USA, pp. 21-, 2000, IEEE Computer Society, 0-7695-0859-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
state-based approaches, program-based anomaly detection, intrusion detection algorithms, execution audit data, statistical deviation monitoring, finite state machines, finite-state machine, security of data, software performance evaluation, experimental results, auditing, n-grams, algorithm performance |
20 | Karlheinz Agsteiner, Dieter Monjau, Sören Schulze |
Automating system construction by domain based approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 336-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
system construction, domain based approaches, target system, abstract system specification, formal specification, specification, requirements, VHDL, digital systems, object-oriented approach, RISC processors |
20 | Richard Canham, Stephen L. Smith 0002, Andrew M. Tyrrell |
Parallel Approaches to the Segmentation of Free-Hand Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 537-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel approaches, free-hand drawings segmentation, neuropsychological assessment, Rey-Osterrieth Complex Figure Test, geometric shapes, hierarchical solution, template matching algorithm, computational complexity, complexity, processing time |
20 | Milan M. Jovanovic, Milo Tomasevic, Veljko M. Milutinovic |
A simulation-based comparison of two reflective memory approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 140-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simulation-based comparison, reflective memory approaches, Reflective Memory/Memory Channel, RM/MC system, bus-based system architecture, update consistency mechanism, block transfers, simulation analysis, synthetic workload model, real-time response, run-time actions, compile-time actions, performance evaluation, real-time systems, virtual machines, shared memory systems, distributed memory systems, system buses, message latency, data handling, distributed shared memory systems, shared data |
20 | Muhammad Ali Babar 0001, Tuomas Ihme, Minna Pikkarainen |
An industrial case of exploiting product line architectures in agile software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, 13th International Conference, SPLC 2009, San Francisco, California, USA, August 24-28, 2009, Proceedings, pp. 171-179, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
software architecture, software product lines, empirical research, agile approaches |
19 | Guang-Ren Duan 0001, Hai-Hua Yu, Feng Tan |
Parametric control systems design with applications in missile control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 2190-2200, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
high-order linear systems, parametric approaches, Sylvester matrix equations, BTT missile |
19 | Jürgen Rudolph, Eckart Weiß, Michael Forster |
Modeling of welded joints for design against fatigue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(2-3), pp. 142-151, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
BEA, FEA, Local approaches, Low cycle fatigue (LCF), Strain-based approach, Structural and notch stresses, Modeling |
19 | Sandro Morasca, Lionel C. Briand |
Towards A Theoretical Framework For Measuring Software Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 4th IEEE International Software Metrics Symposium (METRICS 1997), November 5-7, 1997, Albuquerque, NM, USA, pp. 119-126, 1997, IEEE Computer Society, 0-8186-8093-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software attribute measurement, software product properties, construct validity, unambiguous definition, hierarchical axiomatic framework, measurement scales, software engineering, software metrics, theoretical foundations, theoretical framework, axiomatic approaches, consistent measures |
19 | Firas Mohamed, Meryem Marzouki |
Test and diagnosis of analog circuits: When fuzziness can lead to accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 9(1-2), pp. 203-216, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
analog test and diagnosis, AI approaches, fuzzy logic |
19 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Federica Mandreoli, Riccardo Martoglia, Pavel Zezula |
Principles of Holism for sequential twig pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(6), pp. 1369-1392, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Twig query processing, Ordered and unordered pattern matching, Numbering schemes, Holistic approaches |
17 | Gilbert Cockton |
Getting there: six meta-principles and interaction design. ![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. 2223-2232, 2009, ACM, 978-1-60558-246-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches |
17 | Anna E. Bobkowska |
Modeling pragmatics for visual modeling language evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design: Proceedings of the Forth International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2005, Gdansk, Poland, September 26-27, 2005, pp. 75-78, 2005, ACM, 1-59593-220-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
task-oriented approaches, usability evaluation, pragmatics, context of use, visual modeling language |
17 | J. Ramón Gil-García, Theresa A. Pardo |
Multiple methods and multiple paradigms for digital government research: understanding the promises and challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DG.O ![In: Proceedings of the 2005 National Conference on Digital Government Research, DG.O 2005, Atlanta, Georgia, USA, May 15-18, 2005, pp. 343, 2005, Digital Government Research Center. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods |
17 | Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo |
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic, pp. 273-281, 2004, IEEE Computer Society, 0-7695-2125-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Requirements interactions, Semi-formal approaches, Requirements engineering, IRIS |
17 | Pius ten Hacken |
Has There Been a Revolution in Machine Translation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 16(1), pp. 1-19, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
linguistic vs. probabilistic approaches, MT as applied science, Rosetta, scientific revolution, Verbmobil, evaluation criteria, Paradigm |
17 | Dominique Eyheramendy, Thomas Zimmermann |
Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 15(1), pp. 12-36, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Object-oriented pro-gramming, Symbolic approaches, Finite elements |
17 | Lars Aurdal, Isabelle Bloch, Henri Maître, Christine Graffigne, Catherine Adamsbaum |
Continuous Label Bayesian Segmentation, Applications to Medical Brain Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 128-131, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
continuous label Bayesian segmentation, classic Markovian Bayesian discrete label segmentation approaches, real patient MR images, partial volumes, image segmentation, MRI, magnetic resonance imaging, medical diagnostic imaging, synthetic images, partial volume effect |
17 | Xiping Song, Leon J. Osterweil |
Experience with an Approach to Comparing Software Design Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(5), pp. 364-384, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software design methodologies comparison, traceable comparisons, objective comparisons, process modeling techniques, procedural aspects, method decomposition, components classification, Jackson System Development, JSD, Booch's (1986) object-oriented design, BOOD, software development approaches, software engineering, software process, object-oriented methods, modeling formalism |
17 | Asit Dan, Philip S. Yu |
Performance Analysis of Buffer Coherency Policies in a Multisystem Data Sharing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 289-305, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
integrated analytic models, buffer coherency policies, multisystem data sharing environment, multisystem transaction processing environment, propagation oriented approaches, coherency messages, buffer hit probability, independent reference model, CPU overhead, performance evaluation, performance analysis, transaction processing, detection, shared memory systems, response time, simulation models, notification, maximum throughput |
17 | Sofiane Elguendouze |
Simplification de textes : un état de l'art (Text simplification (State of the art) This paper presents the state of the art on text simplification, in particular the two main types of approaches, namely rule-based approaches and statistical approaches (or data-driven)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL (3) ![In: Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL, Nancy, France, June 8-19, 2020, pp. 96-109, 2020, ATALA et AFCP. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao |
Auto-generating Test Sequences Using Model Checkers: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 42-59, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Antonin Chambolle, Jérôme Darbon |
On Total Variation Minimization and Surface Evolution Using Parametric Maximum Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 84(3), pp. 288-307, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Crystalline and anisotropic mean curvature flow, Max-flow/min-cut, Parametric max-flow algorithms, Total variation, Submodular functions, Variational approaches |
16 | Youssef Bououlid Idrissi, Julie Vachon |
An adaptive multi-strategy approach for semantic mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 7-15, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-strategy, semantic web, adaptability, mapping, semantic matching, adaptive approaches |
16 | Oualid Ktata, Ghislain Lévesque |
Agile development: issues and avenues requiring a substantial enhancement of the business perspective in large projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 59-66, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scrum and business modeling, software valuation, requirements engineering, project management, decision making, agile development, goal oriented approaches |
16 | Andrea Grosso, Marco Locatelli 0001, Fabio Schoen |
A Population-based Approach for Hard Global Optimization Problems based on Dissimilarity Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 110(2), pp. 373-404, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Large scale global optimization, Multistart, Basin hopping, Population-based approaches, Molecular conformation problems |
16 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky |
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 617-618, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches |
16 | Alonso Ramirez-Manzanares, Mariano Rivera, Pierre Kornprobst, François Lauze |
A Variational Approach for Multi-valued Velocity Field Estimation in Transparent Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings, pp. 227-238, 2007, Springer, 978-3-540-72822-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
transparent motion, multi-valued velocity fields, model competition, Variational approaches |
16 | Jerry Mead, Simon Gray, John Hamer, Richard James 0002, Juha Sorva, Caroline St. Clair, Lynda Thomas |
A cognitive approach to identifying measurable milestones for programming skill acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 38(4), pp. 182-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cognitive approaches, curricular planning, programming, CS1 |
16 | Erik G. Nilsson, Jacqueline Floch, Svein O. Hallsteinsen, Erlend Stav |
Using a Patterns-Based Modelling Language and a Model-Based Adaptation Architecture to Facilitate Adaptive User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, pp. 234-247, 2006, Springer, 978-3-540-69553-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Interfaces for mobile devices, Adaptive and customizable systems, Patterns-based approaches, Model-based design, Adaptive architecture |
16 | Michael D. Bond, Kathryn S. McKinley |
Bell: bit-encoding online memory leak detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 61-72, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
low-overhead monitoring, memory leaks, probabilistic approaches, managed languages |
16 | Liam Noonan, Colin Flanagan |
An effective network processor design framework: using multi-objective evolutionary algorithms and object oriented techniques to optimise the intel IXP1200 network processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2006 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2006, San Jose, California, USA, December 3-5, 2006, pp. 103-112, 2006, ACM, 1-59593-580-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object oriented, design space exploration, evolutionary approaches |
16 | Claude Yugma |
Dynamic management of a portfolio of orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 3(2), pp. 167-170, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
selection of orders, Scheduling, heuristics approaches, exact methods |
16 | Bettina Törpel |
Participatory design: a multi-voiced effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 177-181, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
approaches, participatory design, categorizations, efforts |
16 | Jens Dibbern, Tim Goles, Rudy Hirschheim, Bandula Jayatilaka |
Information systems outsourcing: a survey and analysis of the literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 35(4), pp. 6-102, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
research approaches, outsourcing, determinants, relationships, literature review, theoretical foundations, outcomes |
16 | Julia Coleman Prior, Raymond Lister |
The backwash effect on SQL skills grading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004, pp. 32-36, 2004, ACM, 1-58113-836-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
SQL query formulation, learning approaches, online examination, databases, SQL |
16 | Babak Khazaei, Chris Roast |
The influence of formal representation on solution specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 8(1), pp. 69-77, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Empirical study of formal representations, Formal specification representation, Generic and simple solution approaches, Human factors for formal methods, Z |
16 | Amaury Habrard, Marc Bernard, Marc Sebban |
Improvement of the State Merging Rule on Noisy Data in Probabilistic Grammatical Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2003, 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings, pp. 169-180, 2003, Springer, 3-540-20121-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
probabilistic grammatical inference, statistical approaches, noisy data |
16 | Claus Möbus, Bernd Albers, Stefan Hartmann, Heinz-Jürgen Thole, Jochen Zurborg |
Towards a Specification of Distributed and Intelligent Web Based Training Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings, pp. 291-300, 2002, Springer, 3-540-43750-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Cognitive Approaches, Distributed Learning Environments, Intelligent Distance Learning, Internet Environments, Content-Engineering, Intelligent Web Based Training (I-WBT), Specification of e-Learning Systems, Educational Modeling Language (EML), Extensible Markup Language (XML), Unified Modeling Language (UML), Architectures, Learning Environments, Authoring Systems |
16 | Carl Alphonce, Phil Ventura |
Object orientation in CS1-CS2 by design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 70-74, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
pedagogical approaches, design, UML, object-orientation, CS1, CS2 |
16 | Cristina Gacek, Michalis Anastasopoules |
Implementing product line variabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, SSR 2001, May 18-20, 2001, Toronto, Ontario, Canada, pp. 109-117, 2001, ACM, 1-58113-358-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
implementation approaches, implementing variabilities, product line variability, software product lines, traceability |
16 | Maciej Koutny |
A Compositional Model of Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 303-322, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets |
16 | Radu Dobrin, Yusuf Özdemir, Gerhard Fohler |
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 150-154, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
task attribute assignment, fixed priority scheduled tasks, offline schedules, time triggered approaches, end-to-end deadlines, processor scheduling, jitter, jitter |
16 | Alfonso Valdes, Keith Skinner |
Adaptive, Model-Based Monitoring for Cyber Attack Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Advances in Intrusion Detection ![In: Recent Advances in Intrusion Detection, Third International Workshop, RAID 2000, Toulouse, France, October 2-4, 2000, Proceedings, pp. 80-92, 2000, Springer, 3-540-41085-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Innovative approaches, IDS cooperation, Bayes nets, Intrusion detection |
16 | Eike Best, Raymond R. Devillers, Maciej Koutny |
The Box Algebra - A Model of Nets and Process Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 344-363, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion |
16 | G. Michael McGrath |
A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 118-126, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views |
16 | Zsolt Öry |
A theory driven approach to century change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 101-105, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
theory-driven approach, century change, software maintenance demand, program bugs, system migration costs, software maintenance capabilities, bug load, mechanical approaches, data integrity, error rates, cost-effectiveness, criteria, Year 2000 problem |
16 | Keith E. Williamson, Michael Healy |
Formally Specifying Engineering Design Rationale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 317-318, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
structural engineering computing, structural engineering, maintenance of software, software systems, engineering design, software generation, formal approaches |
16 | James W. Freeman, T. C. Darr, Richard B. Neely |
Risk Assessment for Large Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 44-53, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
security risk assessment process, large heterogeneous systems, C/sup 4/I systems, weapon systems, subsystem-level approaches, risk assessment resource allocation, hybrid top-down system-wide approach, guided top-down approach, approval-to-operate decision, security of data, decision makers |
16 | Gareth J. Edwards, Andreas Lanitis, Christopher J. Taylor 0001, Timothy F. Cootes |
Modelling the variability in face images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 2nd International Conference on Automatic Face and Gesture Recognition (FG '96), October 14-16, 1996, Killington, Vermont, USA, pp. 328-333, 1996, IEEE Computer Society, 0-8186-7713-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
face image variability modelling, face image recognition, face shape, grey-level appearance, nonlinear shape variation, tracking tasks, person, face recognition, image coding, statistical models, expression, lighting, image interpretation, model based approaches, pose |
16 | Mihai Barbuceanu, Mark S. Fox |
Coordinating multiple agents in the supply chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 134-141, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiple agent coordination, networked people, networked machines, shared goals, individual goals, structured conversation, multiagent programming language, coordination knowledge capture, coordination knowledge application, coordination knowledge representation, KQML-based communication, agent definition environment, agent execution environment, conversation selection, interoperation, abstraction, software agents, supply chain, cooperative work, computational systems, conceptualization, rule-based approaches, networked organizations |
16 | Evan Wallace, Paul C. Clements, Kurt C. Wallnau |
Discovering a system modernization decision framework: a case study in migrating to distributed object technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 185-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
system modernization decision framework, system migration, reengineering goals, technology selection, technical approaches, system upgrading, staged migration plan, in-hand components, newly adopted architecture, engineering discipline, modernization strategy selection, engineering tradeoffs, manufacturing engineering design system, case study, systems re-engineering, distributed object technology, integration strategy |
16 | MaoLin Qiu, Song De Ma |
The Nonparametric Approach for Camera Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 224-229, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
nonparametric approach, CCD camera calibration, constrained topological mapping approach, systematic imaging error analysis, parametric approaches, distortion surfaces, imaging errors, image projection, optimization, computer vision, topology, image reconstruction, calibration, 3D reconstruction, accuracy, error analysis, cameras, image processing equipment, CCD image sensors, image system, training samples |
16 | Paul Salama, Ness B. Shroff, Edward J. Coyle, Edward J. Delp |
Error concealment techniques for encoded video streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 9-12, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
encoded video streams, error concealment techniques, error-recovery approaches, MPEG encoded video, nearest undamaged pixels, lost macroblocks, minimizing intersample variations, packing ATM cells, compressed data, optimal iterative reconstruction, asynchronous transfer mode, interpolation, data compression, image sequences, video coding, image reconstruction, image reconstruction, iterative methods, ATM networks, motion compensation, motion compensation, minimisation, visual communication, telecommunication standards, broadband networks, spatial interpolation, error compensation |
16 | Xiaoping Jia |
An approach to animating Z specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 108-113, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages |
16 | Nima Ahmadvand, Terence D. Todd |
Dual-hop LANs using station wavelength routing. ![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. 622, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
WDM local area networks, station wavelength routing, dual-hop LAN, dual-hop architecture, wavelength agility, local optical network, ATM buffer/switch components, hybrid electro-optic designs, electronic implementations, buffering stage, all-optical approaches, multiple wavelength sharing, traffic models, system performance, spatial reuse, control strategies, optical fibre LAN |
16 | Jean-Pierre Corriveau |
A time-constrained architecture for cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 13-22, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
time-constrained architecture, computational approaches, static strategy, diachronic nature, strong tractability, epistemological commitments, time-constrained model, massively parallel network, simple signals, object-oriented hierarchy, parallel architectures, knowledge based systems, software reliability, software reliability, memory, knowledge base, cognition, cognitive architectures, cognitive architecture, cognitive systems |
16 | Marcella A. McClure, Rajasekhar Raman |
Parameterization studies of hidden Markov models representing highly divergent protein sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 184-196, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parameterization studies, highly divergent protein sequences, complex genome analysis, nucleic acid, molecular evolutionary mechanisms, homologous sequences, distantly related proteins, HMM approaches, multiple protein sequence alignment, highest average entropylposition model, biologically informative model, biological features, protein family, model length, training set size, biologically informative HMMs, hidden Markov models, hidden Markov models, DNA, genetics, genetics, biology computing, optimal model, protein sequences |
16 | Richard G. Casey, Eric Lecolinet |
Strategies in character segmentation: a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 1028-1033, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
classifiable units, spatial features, recombination rules, admissible segmentation possibilities, image segmentation, character recognition, image features, spatial data structures, holistic approaches |
16 | Yih-Tay Tsay, Wen-Hsiang Tsai |
Attributed String Matching by Split-and-Merge for On-Line Chinese Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(2), pp. 180-185, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
attributed string matching, split-and-merge, stroke-based recognition approaches, correct stroke writing orders, candidate character selection, reference character, connected input strokes, dynamic programming, dynamic programming, character recognition, feasibility, Chinese character recognition |
16 | Ishfaq Ahmad, Arif Ghafoor |
Semi-Distributed Load Balancing For Massively Parallel Multicomputer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 987-1004, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
massively parallel multicomputer systems, semidistributed approach, fully distributed approaches, two-level hierarchical control, independent symmetric regions, distance transitive graphs, scheduling points, fully distributed strategy, scheduling, distributed systems, computational complexity, load balancing, parallel architectures, multiprocessor interconnection networks, parallel machines, multiprocessor system, NP-complete problem, simulation study, interconnection structure, interconnection structures, state information, Hadamard matrix, combinatorial structure |
16 | Victor F. Nicola, Johannes M. Van Spanje |
Comparative Analysis of Different Models of Checkpointing and Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 807-821, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
checkpointing strategies, recovery models, refinement levels, realistic system, analytic approaches, Markovian queuing model, load-dependent checkpointing strategy, stochastic recovery, state-space analysis approach, semianalytic expressions, performance variables, unknown boundary state probabilities, stable operating range, optimal deterministic checkpointing, simulation, computational complexity, probability, DBMS, database management systems, queueing theory, database theory, system recovery, numerical algorithm, numerical solution, Poisson |
16 | Vo Dinh Minh Nhat, Sungyoung Lee |
New Feature Extraction Approaches for Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 489-497, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Face Recognition, Linear Discriminant Analysis (LDA), Principle component analysis (PCA) |
16 | Diana F. Gordon, Henry Hexmoor, Robert L. Axtell, Nenad Ivezic |
Panel Discussion: Empirical versus Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 345-353, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Glenn A. Fink, Christopher S. Oehmen, Jereme N. Haack, A. David McKinnon, Errin W. Fulp, Michael B. Crouse |
Bio-Inspired Enterprise Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASO ![In: 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011, Ann Arbor, MI, USA, October 3-7, 2011, pp. 212-213, 2011, IEEE Computer Society, 978-1-4577-1614-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
bio-inspired approaches, complex adaptive, mobile agents, Computer security, SCADA |
15 | Tiziana Margaria, Bernhard Steffen |
Simplicity as a Driver for Agile Innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 43(6), pp. 90-92, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Domain-specific approaches, software orientations, agile methods |
15 | David Fletcher, Yong Yue 0001, Majid Al Kader |
Challenges and Perspectives of Procedural Modelling and Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 14th International Conference on Information Visualisation, IV 2010, 26-29 July 2010, London, UK, pp. 543-550, 2010, IEEE Computer Society, 978-0-7695-4165-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Street Planning, Procedural Modelling, Terrain Modelling, Hierarchical Approaches |
15 | Gilbert Cockton |
Design situations and methodological innovation in interaction design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 2745-2754, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
design situations, designing as connecting, interaction design and evaluation approaches (ideas)., situational ontology |
15 | Matthias Függer, Andreas Dielacher, Ulrich Schmid 0001 |
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010, pp. 230-239, 2010, IEEE Computer Society, 978-0-7695-4007-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
modeling approaches, VLSI, pipelining, clock synchronization, Fault-tolerant distributed algorithms |
15 | Rainer E. Burkard |
Communication Network Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 394-396, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Optimization, Computational complexity, Communication network, Exact algorithms, Assignment problem, Heuristic approaches, Asymptotic behavior |
15 | Malika Bourenane, Abdelhamid Mellouk, Djilali Benhamamouch |
State-dependent packet scheduling for QoS routing in a dynamically changing environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 42(3-4), pp. 249-261, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-agent system, Mobile agent, Reinforcement learning, Packet scheduling, Adaptive approaches |
15 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 275-296, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
15 | Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni |
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. New Trends, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I, pp. 667-676, 2009, Springer, 978-3-642-02573-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliability, evolvability, formal description techniques, Model-based approaches, interactive prototyping |
15 | Jean-François Ladry, David Navarre, Philippe A. Palanque |
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 11th International Conference on Multimodal Interfaces, ICMI 2009, Cambridge, Massachusetts, USA, November 2-4, 2009, pp. 185-192, 2009, ACM, 978-1-60558-772-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fusion engines, interactive software engineering, safety-critical interactive systems, multimodal interfaces, formal description techniques, model-based approaches |
15 | Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler |
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009, pp. 141-150, 2009, ACM, 978-1-60558-461-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance evaluation, interruptions, formal description techniques, model-based approaches |
15 | Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink |
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009, pp. 211-220, 2009, ACM, 978-1-60558-600-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches |
15 | Jongwon Seok, Hafiz Malik |
Audio Watermark Detection Using Undetermined ICA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 637-645, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Audio Watermark Detection, Mean-Field Approaches, Independent Component Analysis, Blind Source Separation, Linear Predictive Coding |
15 | Andreas Dielacher, Matthias Függer, Ulrich Schmid 0001 |
Brief announcement: how to speed-up fault-tolerant clock generation in VLSI systems-on-chip via pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 276-277, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modeling approaches, VLSI, pipelining, clock synchronization, fault-tolerant distributed algorithms |
15 | Filomena Ferrucci, Carmine Gravino, Rocco Oliveto, Federica Sarro |
Using Tabu Search to Estimate Software Development Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: Software Process and Product Measurement, International Conferences IWSM 2009 and Mensura 2009, Amsterdam, The Netherlands, November 4-6, 2009. Proceedings, pp. 307-320, 2009, Springer, 978-3-642-05414-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Search-based approaches, Tabu Search, Effort Estimation, Empirical analysis |
15 | Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund |
Spectrum-Based Multiple Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 88-99, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
15 | Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund |
Localizing Software Faults Simultaneously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 367-376, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software fault diagnosis, statistical and reasoning approaches, program spectra |
15 | Boyang Li 0001, Han Yu 0001, Zhiqi Shen 0001, Chunyan Miao |
Evolutionary organizational search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1329-1330, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
biologically-inspired approaches, organizational planning, multi-agent systems, genetic programming, experimental, systems |
15 | Clara Rocha, Luis C. Dias |
An algorithm for ordinal sorting based on ELECTRE with categories defined by examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(2), pp. 255-277, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi-criteria decision aiding, Aggregation/disaggregation approaches, ELECTRE, Sorting problem |
15 | Arturo J. Sánchez-Ruíz, Karthikeyan Umapathy, Patrick J. Hayes |
Toward generic, immersive, and collaborative solutions to the data interoperability problem which target end-users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ONISW ![In: Proceedings of the 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, ONISW 2008, Napa Valley, California, USA, October 30, 2008, pp. 83-88, 2008, ACM, 978-1-60558-255-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CL, IKL, INTEROP, end-user approaches, immersive collaboration, ontologies, Second Life, data interoperability, plug-in architectures |
15 | Charbel Julien |
Automatic Handling of Digital Image Repositories: A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008, Proceedings, pp. 410-416, 2008, Springer, 978-3-540-68122-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Image Digital library, Search approaches, Similarity measure, User interaction, Low-level features |
15 | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro |
Towards a model-driven engineering approach for developing embedded hard real-time software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 308-314, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis |
Displaying result #601 - #700 of 67940 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|