|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4109 occurrences of 2038 keywords
|
|
|
Results
Found 5371 publication records. Showing 5371 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Menelaos I. Karavelas, Mariette Yvinec |
Dynamic Additively Weighted Voronoi Diagrams in 2D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 586-598, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Elizabeth Burd, Dawn Overy, Ady Wheetman |
Evaluating Using Animation to Improve Understanding of Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 10th International Workshop on Program Comprehension (IWPC 2002), 27-29 June 2002, Paris, France, pp. 107-113, 2002, IEEE Computer Society, 0-7695-1495-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Peretz Shoval, Revital Danoch, Mira Balaban |
Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers, pp. 264-274, 2002, Springer, 3-540-20255-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero 0001 |
Assessing Object-Oriented Conceptual Models Maintainability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers, pp. 288-299, 2002, Springer, 3-540-20255-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | James Arvo |
Techniques for Interactive Graph Drawing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002, Revised Papers, pp. 380, 2002, Springer, 3-540-00158-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Arnaud Cachia, Jean-François Mangin, Denis Rivière, Dimitri Papadopoulos-Orfanos, Isabelle Bloch, Jean Régis |
Gyral Parcellation of the Cortical Surface Using Geodesic Voronoï Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part I, pp. 427-434, 2002, Springer, 3-540-44224-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Henning Dierks, Marc Lettrari |
Constructing Test Automata from Graphical Real-Time Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 433-454, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey D. Campbell |
Characteristics of Group Development of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 10-12 June 2002, Pittsburgh, PA, USA, pp. 29-34, 2002, IEEE Computer Society, 0-7695-1748-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Mark Minas, Frank Strüber |
Unparsing of Diagrams with DiaGen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 302-316, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Evanthia Papadopoulou |
Critical area computation for missing material defects in VLSIcircuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(5), pp. 583-597, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Pourang Irani, Maureen Tingley, Colin Ware |
Using Perceptual Syntax to Enhance Semantic Content in Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 21(5), pp. 76-85, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoying Wu, Tok Wang Ling, Mong-Li Lee, Gillian Dobbie |
Designing Semistructured Databases Using ORA-SS Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (1) ![In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE'01, Organized by WISE Society and Kyoto University, Kyoto, Japan, 3-6 December 2001, Volume 1 (Main program), pp. 171-182, 2001, IEEE Computer Society, 0-7695-1393-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Il-Yeol Song |
Developing Sequence Diagrams in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 368-382, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Menelaos I. Karavelas |
Voronoi Diagrams for Moving Disks and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001, Proceedings, pp. 62-74, 2001, Springer, 3-540-42423-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Barbara Klemm, Marie Iding, Martha E. Crosby |
Polygraph Diagrams for Holistic Visualization of Data Sets using Multiple-Units of Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Diagramming notation, patterns of data, visual literacy, schematic representations, graphic organizer, data visualization, graphic design, illustrations |
17 | Jaime Solano-Soto, Luis Enrique Sucar |
A Methodology for Reliable Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 734-745, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Gruner, Murat Kurt |
Diagrammatic Control of Diagrammatic Structure Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 422-436, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jaime Gómez, Cristina Cachero, Oscar Pastor 0001 |
Extending a Conceptual Modelling Approach to Web Application Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings, pp. 79-93, 2000, Springer, 3-540-67630-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Cristina Cachero, Jaime Gómez, Oscar Pastor 0001 |
Object-Oriented Conceptual Modeling of Web Application Interfaces: the OO-HMethod Abstract Presentation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings, pp. 206-215, 2000, Springer, 3-540-67981-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Morteza Esmaeili, T. Aaron Gulliver, Norman P. Secord |
The Minimal Generator Matrix of a Vector Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(1), pp. 1-14, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Trellis oriented generator matrix, Atomic vectors, Linear block codes |
17 | Jungpil Hahn, Jinwoo Kim 0001 |
Why are some diagrams easier to work with? Effects of diagrammatic representation on the cognitive intergration process of systems analysis and design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 6(3), pp. 181-213, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
diagrammatic manipulation, diagrammatic representation, visual grammar, GOMS |
17 | Takayoshi Noguchi, Jiro Tanaka |
Interactive Layout Method for Object Diagrams of OMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 110-117, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
software development tool, object-oriented methodology |
17 | Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae |
Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 65-72, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Sauer 0001, Gregor Engels |
Extending UML for Modeling of Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 80-, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Zohar Manna |
Visual Verification of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 6, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Edward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick |
Use of F-Code as a Very High Level Intermediate Language for DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 820-823, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Klein, Andrzej Lingas |
Hamiltonian Abstract Voronoi Diagrams in Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 11-19, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
abstract Voronoi diagrams, Computational geometry, Voronoi diagrams, convex polygons |
17 | David Chenho Kung, Jerry Gao 0002, Pei Hsia |
An object oriented testing and maintenance environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 37, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Kenneth W. Fertig, John S. Breese |
Probability Intervals Over Influence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 280-286, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation |
17 | K. P. Ta, T. C. Tan |
Layout Algorithms for DFD Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 567-573, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Timothy Arndt, Angela Guercio |
Decomposition of Data Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy, pp. 560-566, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Tony W. Lai, Derick Wood |
A Relationship Between Self-Organizing Lists and Binary Search Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 111-116, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Coudert, Christian Berthet, Jean Christophe Madre |
Formal boolean manipulations for the verification of sequential machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 57-61, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | F. Evans, Jan Jantzen |
A Structured Approach to Analysis and Design of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL 90: For the Future, APL 1990, Copenhagen, Denmark, August 13-17, 1990., pp. 104, 1990, ACM, 0-89791-371-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
APL |
17 | Jyh-Jong Fu, Richard C. T. Lee |
Voronoi Diagrams of Moving Points in the Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 238-254, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Rex A. Dwyer |
Higher-Dimensional Voronoi Diagrams in Linear Expected Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fifth Annual Symposium on Computational Geometry, Saarbrücken, Germany, June 5-7, 1989, pp. 326-333, 1989, ACM, 0-89791-318-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Frank K. H. A. Dehne |
Computing Digitized Voronoi Diagrams on a Systolic Screen and Applications to Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optimal Algorithms ![In: Optimal Algorithms, International Symposium, Varna, Bulgaria, May 29 - June 2, 1989, Proceedings, pp. 14-24, 1989, Springer, 3-540-51859-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Kelly I. Morrison |
GRASP: an executable specification language for Ada tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 683, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Ada, GRASP |
17 | Leonidas J. Guibas, Jorge Stolfi |
Primitives for the Manipulation of General Subdivisions and Computation of Voronoi Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 4(2), pp. 74-123, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
Euler operators, Voronoi and Delaunay diagrams, representation of polynedra, trianglations, planar graphs, convex hull, computational topology, nearest neighbours, point location, geometric primitives, closest point |
17 | Herbert Edelsbrunner, Raimund Seidel |
Voronoi diagrams and arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the First Annual Symposium on Computational Geometry, Baltimore, Maryland, USA, June 5-7, 1985, pp. 251-262, 1985, ACM, 0-89791-163-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Edward Babb |
Functional requirements for very large knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 55-56, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Xiaodong Liu 0018, Yifan Zhang, Gary K. Yeap, Chunlei Chu, Jian Sun 0005, Xuan Zeng 0001 |
Global routing and track assignment for flip-chip designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 90-93, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
flip-chip, track assignment, voronoi diagram, global routing |
16 | Robert Bembenik, Henryk Rybinski |
FARICS: a method of mining spatial association rules and collocations using clustering and Delaunay diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 33(1), pp. 41-64, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Collocation rules, Delaunay diagram, Spatial data mining, Knowledge extraction, Spatial association rules |
16 | Sergey Diev |
Querying complex requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(1), pp. 1-7, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
complex requirements, content-diagram, network metaphor, requirements crystallization, requirements development, requirements set, requirements structure, visual editor, visual requirements, visual use case, VR, conceptual model, query, concept, use case model |
16 | Md. Muhibur Rasheed, Masud Hasan, M. Sohel Rahman |
Maximum Neighbour Voronoi Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings, pp. 93-104, 2009, Springer, 978-3-642-00201-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Competitive facility location, Voronoi games, Voronoi diagram, Delaunay triangulation |
16 | Tetsuo Hasegawa, Yoshiaki Fukazawa |
Model Checking by Generating Observers from an Interface Specification Between Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNISCON ![In: Information Systems: Modeling, Development, and Integration, Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings, pp. 526-538, 2009, Springer, 978-3-642-01111-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model cheking, UML, timing diagram |
16 | Hai-Tao Zhang, Michael Z. Q. Chen, Tao Zhou 0001, Zhao Cheng, Pin-Ze Yu |
Collective Behavior Coordination and Aggregation with Low-Cost Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 2159-2170, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Vicsek model, communication, synchronization, state diagram |
16 | Wei Li 0039, Yousif I. Kamil, Athanassios Manikas |
Wireless array based sensor relocation in mobile sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 832-838, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
local detection diagram, wireless array, wireless sensor networks, mobility, coverage, beamforming, relocation, cooperative sensing |
16 | Ana Karoline Araújo de Castro, Plácido Rogério Pinheiro, Mirian Calíope Dantas Pinheiro |
Towards the Neuropsychological Diagnosis of Alzheimer's Disease: A Hybrid Model in Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: Best Practices for the Knowledge Society. Knowledge, Learning, Development and Technology for All, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 522-531, 2009, Springer, 978-3-642-04756-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Alzheimer’s disease, Multicriteria Method, Bayesian Network, Diagnosis, Influence Diagram |
16 | Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, Steve Oudot |
Proximity of persistence modules and their diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 237-246, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
persistence diagram, topological data analysis, topological persistence, stability, discretization |
16 | Yuanshun Dai, Yanping Xiang, Gewei Zhang |
Self-healing and Hybrid Diagnosis in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudCom ![In: Cloud Computing, First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings, pp. 45-56, 2009, Springer, 978-3-642-10664-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multivariate Decision diagram, Naïve Bayes, Autonomic computing, Self-healing |
16 | Yanic Inghelbrecht |
Object-oriented design with trace modeler and Trace4J. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2009, Paris, France, July 6-9, 2009, pp. 375, 2009, ACM, 978-1-60558-381-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, unified modeling language, software development, tools, documentation, object-oriented design, trace, program visualization, sequence diagram, case tool, responsibility-driven design |
16 | Ana Karoline Araújo de Castro, Plácido Rogério Pinheiro, Mirian Calíope Dantas Pinheiro |
An Approach for the Neuropsychological Diagnosis of Alzheimer's Disease: A Hybrid Model in Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 216-223, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Alzheimer’s disease, Multicriteria Method, Bayesian Network, Diagnosis, Influence Diagram |
16 | Jon Oldevik, Øystein Haugen |
From sequence diagrams to Java-stairs aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 99-110, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sequence diagram aspects, trace-based aspects, refinement |
16 | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
A Diagrammatic Formalisation of MOF-Based Modelling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 37-56, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Meta-Object Facility, Eclipse Modeling Framework, Diagram Predicate Framework, diagrammatic specification, Unified Modeling Language, Model-Driven Engineering, Object Constraint Language |
16 | Tianlong Gu, Huadong Liu |
The symbolic OBDD scheme for generating mechanical assembly sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 33(1-3), pp. 29-44, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assemble sequence planning, Assembly liaison graph, Assembly sequences generation, Ordered binary decision diagram |
16 | Kyriakos Christou, Maria K. Michael, Spyros Tragoudas |
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 24(1-3), pp. 203-222, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults |
16 | Huaizhi Wu, Martin D. F. Wong, Wilsin Gosti |
Postplacement voltage assignment under performance constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(3), pp. 46:1-46:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
voltage assignment, Low power, timing, Voronoi diagram |
16 | Angela M. Kessell, Barbara Tversky |
Cognitive Methods for Visualizing Space, Time, and Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 382-384, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
agent, time, production, diagram, preference, space, comprehension |
16 | Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani |
A Practical DPA Countermeasure with BDD Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications, 8th IFIP WG 8.8/11.2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008. Proceedings, pp. 206-217, 2008, Springer, 978-3-540-85892-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dual-rail pre-charge logic, DPA, Binary Decision Diagram, countermeasure |
16 | Niels Pinkwart, Collin F. Lynch, Kevin D. Ashley, Vincent Aleven |
Re-evaluating LARGO in the Classroom: Are Diagrams Better Than Text for Teaching Argumentation Skills?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 90-100, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ill-defined Domains, Legal Argumentation, Diagram Representations, ITS Evaluation |
16 | Hung-Chin Jang, Ren-Wei Fang |
Interference-aware topology control in wireless mesh network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Conference ![In: Proceedings of the 5th International Conference on Mobile Technology, Applications, and Systems, Mobility Conference 2008, Yilan, Taiwan, September 10-12, 2008, pp. 76, 2008, ACM, 978-1-60558-089-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
delaunay triangulation algorithm, interference reduction, wireless mesh network, voronoi diagram, topology control |
16 | Soodeh Hosseini, Mohammad Abdollahi Azgomi |
UML Model Refactoring with Emphasis on Behavior Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 125-128, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring |
16 | Kevin Oo Tinmaung, David Howland, Russell Tessier |
Power-aware FPGA logic synthesis using binary decision diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays, FPGA 2007, Monterey, California, USA, February 18-20, 2007, pp. 148-155, 2007, ACM, 978-1-59593-600-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
FPGA, binary decision diagram, dynamic power |
16 | Guoyong Shi, Weiwei Chen, C.-J. Richard Shi |
A Graph Reduction Approach to Symbolic Circuit Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 197-202, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
symbolic analog circuit simulator, symbolic circuit analysis, recursive sign determination algorithm, binary decision diagram, graph reduction |
16 | David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda |
Symbolic Model Checking of Analog/Mixed-Signal Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 316-323, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language |
16 | Meng Qi, Chenglei Yang, Changhe Tu, Xiangxu Meng, Yuqing Sun 0001 |
A GPU-Based Algorithm for Building Stochastic Clustered-Dot Screens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I, pp. 98-105, 2007, Springer, 978-3-540-76857-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
stochastic clustered-dot screen, GPU, Voronoi Diagram, digital halftoning |
16 | Leandro Soares Indrusiak, Manfred Glesner |
Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007, pp. 330-335, 2007, ACM, 978-1-59593-816-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
actor-orientation, UML, embedded systems, sequence diagram, message sequence charts, electronic system level |
16 | Pil Gyeom Kim, Chang Gun Park, Yun Ho Jong, Jea ho Yun, Eun Jong Mo, Chin Su Kim, Min Seok Jie, Soo Chan Hwang, Kang Woong Lee |
Obstacle Avoidance of a Mobile Robot Using Vision System and Ultrasonic Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 545-553, 2007, Springer, 978-3-540-74170-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
nearness diagram, mobile robot, obstacle avoidance, vision system, limit-cycle |
16 | Chenglei Yang, Meng Qi, Jiaye Wang, Xiaoting Wang, Xiangxu Meng |
Shortest Path Queries in a Simple Polygon for 3D Virtual Museum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I, pp. 110-121, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Shortest Path, Voronoi Diagram, Virtual Museum |
16 | David E. Avison, Jan Pries-Heje |
Flexible Information Systems Development: Designing an Appropriate Methodology for Different Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, Portugal, June 12-16, 2007, Revised Selected Papers, pp. 212-224, 2007, Springer, 978-3-540-88709-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
radar diagram, methodology, action research, information systems development, design science |
16 | Ickjai Lee, Vladimir Estivill-Castro |
Fast Cluster Polygonization and its Applications in Data-Rich Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 10(4), pp. 399-422, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Cluster polygonization, Patterns and clusters, Delaunay diagram, Geographical data mining |
16 | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
Transformation of B specifications into UML class diagrams and state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1840-1844, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, state machine, B method, class diagram |
16 | Tatsuya Ishihara, Hironobu Takagi, Takashi Itoh, Chieko Asakawa |
Analyzing visual layout for a non-visual presentation-document interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2006, Portland, Oregon, USA, October 23-25, 2006, pp. 165-172, 2006, ACM, 1-59593-290-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
alternative interface, metadata, diagram, visual analysis |
16 | Kyriacos E. Pavlou, Richard T. Snodgrass |
Forensic analysis of database tampering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, pp. 109-120, 2006, ACM, 1-59593-256-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
append-only, corruption diagram, forensic strength, cryptographic hash function |
16 | Hiroaki Tobita |
Catenaccio: interactive information retrieval system through drawing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 79-82, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
sketch manipulations, information retrieval, interactive system, venn diagram |
16 | Gopal Paul, Ajit Pal, Bhargab B. Bhattacharya |
On finding the minimum test set of a BDD-based circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 169-172, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
binary decision diagram (BDD), multiplexors, network flow, stuck-at faults, VLSI testing |
16 | Samrat Goswami, Tamal K. Dey, Chandrajit L. Bajaj |
Identifying flat and tubular regions of a shape by unstable manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the ACM Symposium on Solid and Physical Modeling 2006, Cardiff University, Wales, UK, June 6-8, 2006, pp. 27-37, 2006, ACM, 1-59593-358-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
unstable manifold, voronoi diagram, delaunay triangulation, Point cloud |
16 | James T. Fulton |
Performance of the two-stage, dual-mode oculomotor servo system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2006, San Diego, California, USA, March 27-29, 2006, pp. 19-26, 2006, ACM, 1-59593-305-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
human physiology, servomechanisms, vision temporal response, chromaticity diagram |
16 | Huaizhi Wu, Martin D. F. Wong, I-Min Liu |
Timing-constrained and voltage-island-aware voltage assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 429-432, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
voltage assignment, low power, timing, voronoi diagram |
16 | Jeong Eun Kim, Hyeon Cheol Nah, Kyung-hyun Yoon |
The Decorative PixMosaics: Using Directional Photo Tiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: 2005 International Conference on Computer Graphics, Imaging and Visualization (CGIV 2005), 26-29 July 2005, Beijing, China, pp. 339-344, 2005, IEEE Computer Society, 0-7695-2392-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Photo Mosaics, Centroidal Voronoi Diagram, NPR, Image Mosaics |
16 | Ansaf Salleb, Christel Vrain |
Estimation of the Density of Datasets with Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 688-697, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Transactional dataset, boolean function, decision diagram, density |
16 | Marta Penas, María J. Carreira, Manuel G. Penedo, Cástor Mariño |
Segment Extraction Using Burns Principles in a Pseudo-color Fuzzy Hough Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (2) ![In: Pattern Recognition and Image Analysis, Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II, pp. 175-182, 2005, Springer, 3-540-26154-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Burns segment detector, Hough transform, Gabor wavelets, growing cell structures, chromaticity diagram |
16 | Rakesh Tripathi, Rajib Mall |
Early Stage Software Reliability and Design Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 619-628, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Design Assessment, m Early-Stage, Reliability Block Diagram, FunctionDiagram, Complex configurations, Scenario, Reliability Prediction |
16 | Jose Hughes |
An online bookstore using JSP technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (2) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2, pp. 339-340, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
JavaServer pages, MVC diagram, MVC model, JDBC |
16 | Jeong Yang, T. Dean Hendrix, Kai H. Chang, David A. Umphress |
An empirical validation of complexity profile graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 143-149, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
complexity profile graph, control structure diagram, program comprehension, software complexity metric, program complexity |
16 | Brian A. Malloy, James F. Power |
Exploiting UML dynamic object modeling for the visualization of C++ programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2005 Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005, pp. 105-114, 2005, ACM, 1-59593-073-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
unified modeling language, aspect oriented programming, program comprehension, sequence diagram |
16 | Marlon Dumas, Tore Fjellheim, Stephen Milliner, Julien Vayssière |
Event-Based Coordination of Process-Oriented Composite Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings, pp. 236-251, 2005, 3-540-28238-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
flexible process execution, event-based coordination, coordination middleware, activity diagram, object space |
16 | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz |
Verification and change-impact analysis of access-control policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 196-205, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification, XACML, decision diagram, change-impact analysis, access-control policies |
16 | Beatriz L. Boada, Dolores Blanco, Luis Moreno 0001 |
Symbolic Place Recognition in Voronoi-Based Maps by Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 39(2), pp. 173-197, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hidden Markov models, mobile robots, Voronoi diagram, place recognition |
16 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(3), pp. 181-193, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions |
16 | Baihua Zheng, Wang-Chien Lee, Dik Lun Lee |
On Semantic Caching and Query Scheduling for Mobile Nearest-Neighbor Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 10(6), pp. 653-664, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
query scheduling, location-based services, Voronoi Diagram, nearest-neighbor search, roaming, semantic caching, indexing technique |
16 | Shun-Yun Hu, Guan-Ming Liao |
Scalable peer-to-peer networked virtual environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 3rd Workshop on Network and System Support for Games, NETGAMES 2004, Portland, Oregon, USA, August 30, 2004, pp. 129-133, 2004, ACM, 1-58113-942-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
massively multiplayer (MMP), scalability, Voronoi diagram, networked virtual environment (NVE), peer-to-peer (P2P), interest management |
16 | Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang 0003, Yuehua Lin, Juanqin Wang, Jeff Gray 0001, Barrett R. Bryant |
E-R modeler: a database modeling toolkit for Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 160-165, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
E-R diagram, design patterns, data modeling, eclipse, Plug-In |
16 | Henry Sonnet, Sheelagh Carpendale, Thomas Strothotte |
Integrating expanding annotations with a 3D explosion probe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 63-70, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
3D model exploration, expanding annotations, explosion diagram, interaction design |
16 | Deok-Soo Kim, Kwangseok Yu, Youngsong Cho, Donguk Kim 0001, Chee-Keng Yap |
Shortest Paths for Disc Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 62-70, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
disc obstacles, Dijkstra, Voronoi diagram, convex hull, Geodesic, ellipse |
16 | Mohammad Ghasemzadeh 0001, Volker Klotz, Christoph Meinel |
Embedding Memoization to the Semantic Tree Search for Deciding QBFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings, pp. 681-693, 2004, Springer, 3-540-24059-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL |
16 | Marta Penas, María J. Carreira, Manuel G. Penedo, Majid Mirmehdi, Barry T. Thomas |
Comparative Frameworks for Directional Primitive Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (1) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 212-219, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Directional primitives, Sobel filter, auto-organised structures, Gabor wavelets, growing cell structures, chromaticity diagram |
16 | Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi |
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(12), pp. 1608-1618, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Binary Decision Diagram (BDD), multistate component, multistate fault tree, multistate system, blocking probability |
16 | Yuh-Rau Wang, Shi-Jinn Horng |
An O(1)Time Algorithm for the 3D Euclidean Distance Transform on the CRCW PRAM Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(10), pp. 973-982, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Computer vision, parallel algorithm, image processing, Voronoi diagram, Euclidean distance transform, CRCW PRAM model |
Displaying result #601 - #700 of 5371 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|