|
|
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 |
22 | Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington |
UML Collaboration Diagram Syntax: An Empirical Study of Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Proceedings of the 1st International Workshop on Visualizing Software for Understanding and Analysis, VISSOFT 2002, Paris, France, June 26, 2002, pp. 13-22, 2002, IEEE Computer Society, 0-7695-1662-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Tonella, Alessandra Potrich |
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 54-63, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler |
Decision Diagram Method for Calculation of Pruned Walsh Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(2), pp. 147-157, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Walsh, pruned spectrum, Logic synthesis, BDD, spectral techniques |
22 | Wei Lai |
Layout Adjustment and Boundary Detection for a Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International 2001 (CGI'01), July 3-6, 2001, Hong Kong, China, Proceedings, pp. 351-354, 2001, IEEE Computer Society, 0-7695-1007-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Kei Kobayashi, Kokichi Sugihara |
Crystal Voronoi Diagram and Its Applications to Collision-Free Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 738-747, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Kim Marriott, Bernd Meyer 0001 |
Non-standard Logics for Diagram Interpretation. ![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. 42-57, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce |
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMP ![In: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000], pp. 45-68, 2000, Springer, 3-540-43063-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | José Luis Fernández-Villacañas Martín |
A New Evolutionary Diagram: Application to BTGP and Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Engineering Applications of Bio-Inspired Artificial Neural Networks, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II, pp. 788-794, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Robert P. Futrelle |
Ambiguity in Visual Language Theory and Its Role in Diagram Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 172-175, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Kathi Fisler |
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 155-166, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Christoph Burnikel, Kurt Mehlhorn, Stefan Schirra |
How to Compute the Voronoi Diagram of Line Segments: Theoretical and Experimental Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '94, Second Annual European Symposium, Utrecht, The Netherlands, September 26-28, 1994, Proceedings, pp. 227-239, 1994, Springer, 3-540-58434-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Sanguthevar Rajasekaran, Suneeta Ramaswami |
Optimal Parallel Randomized Algorithms for the Voronoi Diagram of Line Segments in the Plane and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Tenth Annual Symposium on Computational Geometry, Stony Brook, New York, USA, June 6-8, 1994, pp. 57-66, 1994, ACM, 0-89791-648-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Klein, Andrzej Lingas |
A Linear-Time Randomized Algorithm for the Bounded Voronoi Diagram of a Simple Polygon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Ninth Annual Symposium on Computational GeometrySan Diego, CA, USA, May 19-21, 1993, pp. 124-132, 1993, ACM, 0-89791-582-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Sumanta Guha, Ichiro Suzuki |
Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 218-227, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Kelly A. Lyons, Henk Meijer, David Rappaport |
Properties of the voronoi diagram cluster buster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 1148-1163, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
22 | Joseph A. Goguen, José Meseguer 0001 |
Correctness of Recursive Flow Diagram Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings, pp. 580-595, 1977, Springer, 0-387-08353-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
22 | David L. Millman, Jack Snoeyink |
Computing planar Voronoi diagrams in double precision: a further example of degree-driven algorithm design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 386-392, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
low-degree primitives, reduced precision, robust computation, voronoi diagrams |
22 | Akitoshi Kawamura, Jirí Matousek 0001, Takeshi Tokuyama |
Zone diagrams in Euclidean spaces and in other normed spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 216-221, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
knaster-tarski fixed point theorem, zone diagrams |
22 | Matthew T. Dickerson, David Eppstein |
Animating a continuous family of two-site Voronoi diagrams (and a proof of a bound on the number of regions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 92-93, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
two-site distance functions, complexity, animation, Voronoi diagrams |
22 | Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer |
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. ![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. 257-265, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
natural language, first-order logic, errors, graphical representations |
22 | John Mumma |
Ensuring Generality in Euclid's Diagrammatic Arguments. ![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. 222-235, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Amit Raj, T. V. Prabhakar, Stan Hendryx |
Transformation of SBVR business design to UML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 29-38, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
business design, production rule representation, UML, model driven architecture, business rules, SBVR |
22 | Henk Koning, Rik Bos, Sjaak Brinkkemper |
A Lightweight Method for the Modelling of Enterprise Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, pp. 375-387, 2008, Springer, 978-3-642-01246-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
enterprise functions, applications, feedback, Enterprise architecture, views, modelling method |
22 | Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon |
Hierarchical Set Decision Diagrams and Automatic Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 211-230, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hierarchical Decision Diagrams, Model Checking, Saturation |
22 | Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001 |
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 82-91, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis |
22 | Hang Zhou 0002, Zhiqiu Huang, Yi Zhu 0008 |
Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1235-1240, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Florian Brieler, Mark Minas |
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced Visual Interfaces, AVI 2008, Napoli, Italy, May 28-30, 2008, pp. 181-188, 2008, ACM Press, 978-1-60558-141-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DiaGen, ambiguity resolution, hand drawing, model, recognition, sketching |
22 | Colin F. Snook, Michael J. Butler |
UML-B: A Plug-in for the Event-B Tool Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 344, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ludovic Auxepaules, Dominique Py, Thierry Lemeunier |
A Diagnosis Method that Matches Class Diagrams in a Learning Environment for Object-Oriented Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 26-30, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Mathilde Alonso, Dominique Py, Thierry Lemeunier |
A Learning Environment for Object-Oriented Modeling, Supporting Metacognitive Regulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: The 8th IEEE International Conference on Advanced Learning Technologies, ICALT 2008, Santander, Cantabria, Spain, July 1-5, 2008, pp. 69-73, 2008, IEEE Computer Society, 978-0-7695-3167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama |
Zone diagrams: existence, uniqueness and algorithmic challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 756-765, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
22 | Yusuke Matsumoto, Keiko Imai, Hisashi Suzuki |
Curved Voronoi Diagrams Consisting of Influence Areas with Differentiable Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2007, Pontypridd, Wales, UK, July 9-12, 2007, pp. 270-275, 2007, IEEE Computer Society, 0-7695-2869-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Anne Dickinson |
'Touching the void'...: narrowing the crevasse between the tactile diagrams that tutors request and those that work in reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 339, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
tactile diagrams, university student, e-learning, information technology, disabilities, braille, tactile graphics |
22 | YunJung Ko |
Business Process Modeling of the Photonics Industry Using the UMM. ![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. 701-709, 2007, Springer, 978-3-540-74468-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Hyunjeong Lee, Hyunjin Kim, Changsu Kim 0003 |
Autonomous behavior design for robotic appliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, HRI 2007, Arlington, Virginia, USA, March 10-12, 2007, pp. 201-208, 2007, ACM, 978-1-59593-617-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
behavior design, robot appliance, interaction design, human-robot interaction, service robots, domestic robots |
22 | Yutaka Sakaguchi |
A System Model for Real-Time Sensorimotor Processing in Brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 1120-1129, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(8), pp. 16-20, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
22 | Frank Ruskey, Mark Weston |
More Fun with Symmetric Venn Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 39(3), pp. 413-423, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001 |
Consistent Code Generation from UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 23-30, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UTP, UML, Semantics, Object Orientation, Consistency, Code generation |
22 | Wei Lai, Donggang Yu, Jiro Tanaka, Cai Fei |
Using Image Contour Recognition in GIS Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (1) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 764-767, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey V. Nickerson |
The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Min Song 0001, Il-Yeol Song, Peter P. Chen |
Design and Development of a Cross Search Engine for Multiple Heterogeneous Databases Using UML and Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 6(1), pp. 77-90, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
object-oriented system design & analysis, information retrieval, design patterns, search engine, web-based system |
22 | Marc J. van Kreveld, Étienne Schramm, Alexander Wolff 0001 |
Algorithms for the placement of diagrams on maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 12th ACM International Workshop on Geographic Information Systems, ACM-GIS 2004, November 12-13, 2004, Washington, DC, USA, Proceedings, pp. 222-231, 2004, ACM, 1-58113-979-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cartographic visualization, placement algorithms |
22 | Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki |
EVALPSN Based Railway Interlocking Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 961-967, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning |
22 | Boris Aronov, Marc J. van Kreveld, René van Oostrum, Kasturi R. Varadarajan |
Facility Location on a Polyhedral Surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 30(3), pp. 357-372, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Andrew Fish, John Howse |
Computing Reading Trees for Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, pp. 260-274, 2003, Springer, 3-540-22120-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Zaineb Ben Fredj, David A. Duce |
Schematic Diagrams, XML and Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPCG ![In: Theory and Practice of Computer Graphics 2003 (TPCG 2003), 3-5 June 2003, Birmingham, UK, pp. 49-57, 2003, IEEE Computer Society, 0-7695-1942-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Fairouz Tchier |
Demonic I/O of Compound Diagrams Monotype/Residual Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 171-178, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Relational diagrams, compound diagrams, demonic semantics, monotypes, operational semantics, residuals |
22 | Neil MacKinnon, Steve Murphy |
Designing UML diagrams for technical documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 21st annual international conference on Documentation, SIGDOC 2003, San Francisco, CA, USA, October 12-15, 2003, pp. 105-112, 2003, ACM, 1-58113-696-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams |
22 | Jean Flower, John Howse |
Generating Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 61-75, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Andrew S. Miner |
Efficient State Space Generation of GSPNs using Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 637-646, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Motoshi Saeki |
Role of Model Transformation in Method Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 626-642, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Carol Britton, Maria Kutar, Sue Anthony, Trevor Barker, Sarah Beecham, Vitoria Wilkinson |
An Empirical Study of User Preference and Performance with UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 31-33, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
Constructing Precise Object Relation Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada, pp. 586-595, 2002, IEEE Computer Society, 0-7695-1819-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Dorothea Blostein, Edward Lank, Richard Zanibbi |
Treatment of Diagrams in Document Image Analysis. ![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. 330-344, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | J. Jenny Li, Joseph Robert Horgan |
A Tool Suite for Diagnosis and Testing of Software Design Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 295-304, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing |
22 | Richard Cole 0002 |
Automated Layout of Concept Lattices Using Force Directed Placement and Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 31-42, 2000, IEEE Computer Society, 0-7695-0518-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Ulrich Nickel 0002, Jörg Niere, Albert Zündorf |
The FUJABA environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 742-745, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, UML |
22 | Dominique Schmitt, Jean-Claude Spehner |
Angular Properties of Delaunay Diagrams in Any Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 21(1), pp. 17-36, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | J. Jenny Li, Joseph Robert Horgan |
chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 274-, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing |
22 | Evanthia Papadopoulou |
Linfinity Voronoi Diagrams and Applications to VLSI Layout and Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 9th International Symposium, ISAAC '98, Taejon, Korea, December 14-16, 1998, Proceedings, pp. 9-18, 1998, Springer, 3-540-65385-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Jae Kyeong Kim, Seok Chin Chu |
Analyzing a Class of Decision Problems: Neural Network Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 36-43, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Chien-Tsai Liu, Shi-Kuo Chang, Panos K. Chrysanthis |
Database schema Evolution Using EVER Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Visual Interfaces ![In: Proceedings of the Workshop on Advanced Visual Interfaces, AVI 1994, Bari, Italy, June 1-4, 1994, pp. 123-132, 1994, ACM, 0-89791-733-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Kazuo Sugihara, Kazunari Yamamoto, Isao Miyamoto |
Automatic Layout of Diagrams for Software Specification. ![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. 245-252, 1992, IEEE Computer Society, 0-8186-2830-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Leonidas J. Guibas, Joseph S. B. Mitchell |
Voronoi Diagrams of Moving Points in the Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991, Proceedings, pp. 113-125, 1991, Springer, 3-540-55121-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Otfried Schwarzkopf |
Parallel Computation of Discrete Voronoi Diagrams (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings, pp. 193-204, 1989, Springer, 3-540-50840-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | L. Paul Chew, Robert L. (Scot) Drysdale III |
Voronoi diagrams based on convex distance functions. ![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. 235-244, 1985, ACM, 0-89791-163-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Martin Manak, Ivana Kolingerová |
Fast Discovery of Voronoi Vertices in the Construction of Voronoi Diagram of 3D Balls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Seventh International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010, Quebec, Canada, June 28-30, 2010, pp. 95-104, 2010, IEEE Computer Society, 978-0-7695-4112-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Voronoi diagram of spheres, edge tracing, computational geometry, feasible regions |
22 | Kokichi Sugihara |
Voronoi-Diagram Approach to Escher-Like Tiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Seventh International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010, Quebec, Canada, June 28-30, 2010, pp. 199-204, 2010, IEEE Computer Society, 978-0-7695-4112-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Escher, computer-aided design, Voronoi diagram, tiling |
22 | Masayuki Minoura, Norihiko Shinomiya, Kazuyuki Tajima, Takuya Miyashita, Motoyoshi Sekiya |
An Evaluation Technique Using Network Voronoi Diagram for Balanced Optical Network Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010, pp. 173-176, 2010, IEEE Computer Society, 978-0-7695-4019-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Network Voronoi diagram, distribution balance, network design |
22 | Anne Gross, Jörg Dörr |
EPC vs. UML Activity Diagram - Two Experiments Examining their Usefulness for Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 47-56, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Experiment, Process Modeling, Requirements Specification, UML Activity Diagram, Event-driven Process Chain |
22 | Xiwen Qin, Shuqing Zhang, Xiaogang Dong, Hongxing Jiang, Fawen Qian |
Impact of Human Activities on Red-Crowned Crane Nest-Sites Based on Voronoi Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESIAT (2) ![In: 2009 International Conference on Environmental Science and Information Application Technology, ESIAT 2009, Wuhan, China, 4-5 July 2009, 3 Volumes, pp. 330-334, 2009, IEEE Computer Society, 978-0-7695-3682-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Red-crowned Crane, Voronoi diagram, spatial pattern |
22 | Ruiyun Yu, Xingwei Wang 0001, Jie Li 0008 |
Joint Consideration of Entropy and Voronoi Diagram for Sensor Network Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (2) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 256-259, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, Entropy, Voronoi diagram, deployment |
22 | Lizhong Jin, Guiran Chang, Dan Jiang, Xingwei Wang 0001 |
Research on the Discovery of Blind Spots in Wireless Sensor Networks Based on Voronoi Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS (2) ![In: 9th International Conference on Hybrid Intelligent Systems (HIS 2009), August 12-14, 2009, Shenyang, China, pp. 209-214, 2009, IEEE Computer Society, 978-0-7695-3745-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coverage blind spot, blind spot discovery, Wireless sensor networks, Voronoi diagram |
22 | Kefeng Xuan, Geng Zhao 0004, David Taniar, Bala Srinivasan 0002, Maytham Safar, Marina L. Gavrilova |
Network Voronoi Diagram Based Range Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: The IEEE 23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Bradford, United Kingdom, May 26-29, 2009, pp. 741-748, 2009, IEEE Computer Society, 978-0-7695-3638-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mobile Query Processing, Query Processing, Voronoi Diagram, Spatial Databases, Mobile Databases, Spatial Query Processing |
22 | Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang |
An Algorithm about Transforming PLC Ladder Diagram to Instruction List Based on Series-Parallel Merging Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 812-816, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ladder diagram, instruction list, PLC |
22 | Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang |
A Soft PLC Ladder Diagram Edit Software Implemented Based on Table Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (1) ![In: PACIIA 2008, Volume 1, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 817-821, 2008, IEEE Computer Society, 978-0-7695-3490-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ladder diagram, Soft PLC, table |
22 | Bin Lei, Linzhang Wang, Xuandong Li |
UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 200-209, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
race condition, UML activity diagram |
22 | Yves Lafont, Pierre Rannou |
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 232-245, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
critical pair, diagram rewriting, Zamolodchikov, orthogonal matrix |
22 | Mark Grechanik, Kathryn S. McKinley, Dewayne E. Perry |
Recovering and using use-case-diagram-to-source-code traceability links. ![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. 95-104, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
LeanArt, traceability links, machine learning, program analysis, use case diagram |
22 | Lu Wang 0007, Chenglei Yang, Meng Qi, Rui Wang, Xiangxu Meng, Xiaoting Wang |
Design of a Walkthrough System for Virtual Museum Based on Voronoi Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: 3rd International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2006, Banff, Alberta, Canada, July 2-5, 2006, pp. 258-263, 2006, IEEE Computer Society, 0-7695-2630-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Voronoi Diagram, collision detection, path planning, cooperative design, virtual museum, visibility culling, interactive walkthrough |
22 | Shinichi Fukushige, Hiromasa Suzuki |
Voronoi diagram depth sorting for polygon visibility ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 461-467, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
depth sorting, transparency rendering, Voronoi diagram, visibility determination |
22 | Florence Cloppet, Jean-Michel Oliva, Georges Stamon |
Angular Bisector Network, a Simplified Generalized Voronoi Diagram: Application to Processing Complex Intersections in Biomedical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(1), pp. 120-128, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
generalized Voronoi diagram, graph theory, skeleton, Shape descriptors |
22 | Gary T. Leavens, Tim Wahls, Albert L. Baker |
Formal Semantics for SA Style Data Flow Diagram Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1999 ACM Symposium on Applied Computing, SAC'99, San Antonio, Texas, USA, February 28 - March 2, 1999, pp. 526-532, 1999, ACM, 1-58113-086-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantics of formal specification languages, concurrency, refinement, structured analysis, data flow diagram |
22 | Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim |
Techniques for Systematically Generating Framework Diagram based on UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 203-210, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Framework Diagram, Unified Modeling Language(UML), Interface, Reuse, Object-Oriented Framework, Control Flow |
22 | Sitt Chen Chok, Kim Marriott |
Automatic Construction of Intelligent Diagram Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 11th Annual ACM Symposium on User Interface Software and Technology, UIST 1998, San Francisco, CA, USA, November 1-4, 1998, pp. 185-194, 1998, ACM, 1-58113-034-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
intelligent diagram, visual language, parsing, pen-based computing, constraint solver |
22 | Andrea R. Kennel |
Audiograf: A Diagram-Reader for the Blind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International ACM Conference on Assistive Technologies ![In: Proceedings of the Second Annual ACM Conference on Assistive Technologies, ASSETS 1996, Vancouver, BC, Canada, April 11-12, 1996, pp. 51-56, 1996, ACM, 0-89791-776-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
reading-aid, usability, diagram, blind users, auditory user interfaces |
22 | Naotake Kamiura, Yutaka Hata, Kazuharu Yamato |
A cellular array designed from a Multiple-valued Decision Diagram and its fault tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 20-, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiple-valued decision diagram, fault tests, testable cellular arrays, VLSI, fault diagnosis, logic testing, logic CAD, cellular arrays, cellular array, multivalued logic circuits, switch functions, multiple stuck-at faults |
22 | Michael McAllister, David G. Kirkpatrick, Jack Snoeyink |
A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 573-582, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
convex m-gon, compact piecewise-linear Voronoi diagram, convex sites, post-office problem, query site, retraction motion planning, one-dimensional retract, k disjoint convex sets, deterministic time, polygons, Euclidean metric |
22 | Suman Purwar |
An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(11), pp. 1298-1301, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
generalized Reed-Muller expansions, minterm values, Boolean function, Boolean functions, variables, binary decision diagram, minimisation of switching nets |
22 | Jerry Waxman, Jacob Rootenberg |
Logic Circuit for Cycle Detection in a State Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(3), pp. 303-305, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Complexity, hardware, state diagram, cycle detection |
22 | Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano |
Automatic generation of basic behavior schemas from UML class diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 9(1), pp. 47-67, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Behavior schema, Structural event, UML, OCL, Operation, Class diagram |
22 | Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fieguth, David A. Clausi |
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings, pp. 377-386, 2009, Springer, 978-3-642-02610-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Online hand-drawn diagram recognition, hypothesis generation and evaluation, stroke-based recognition |
22 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
Patterns for Modeling and Composing Workflows from Grid Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 615-626, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MDA approach, Semantic Composition, Workflow, Grid Services, UML-Activity Diagram |
22 | Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Daniel Ramírez-Martínez |
A software tool for verification of Spiking Neural P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(4), pp. 485-497, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Transition diagram, Membrane computing, Spiking Neural P systems |
22 | Elizabeth L. Murnane, Vineet Sinha |
Interactive exploration of compacted visualizations for understanding behavior in complex software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 763-764, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diagram compression, interaction, reverse engineering, software visualization, exploration, complex software systems, software behavior |
22 | Elizabeth L. Murnane, Vineet Sinha |
Interactive exploration of compacted visualizations for understanding behavior in complex software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 729-730, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diagram compression, interaction, reverse engineering, software visualization, exploration, complex software systems, software behavior |
22 | Cagatay Goncu, Kim Marriott |
Tactile chart generation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2008, Halifax, Nova Scotia, Canada, October 13-15, 2008, pp. 255-256, 2008, ACM, 978-1-59593-976-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tactile diagram, accessibility |
22 | Oussama Metatla, Nick Bryan-Kinns, Tony Stockman |
Constructing relational diagrams in audio: the multiple perspective hierarchical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2008, Halifax, Nova Scotia, Canada, October 13-15, 2008, pp. 97-104, 2008, ACM, 978-1-59593-976-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
diagram construction, interaction strategies, non-visual representations, accessibility, hierarchies, auditory display, multiple perspectives |
22 | Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini |
A Comparative Evaluation of Tests Generated from Different UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 867-872, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Software Testing, Model-based Testing, UML Diagram |
Displaying result #301 - #400 of 5371 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|