|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17800 occurrences of 7422 keywords
|
|
|
Results
Found 45334 publication records. Showing 45332 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Bernhard Steffen, Hardi Hungar |
Behavior-Based Model Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 5-19, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Bernard Berthomieu, François Vernadat 0001 |
State Class Constructions for Branching Analysis of Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 442-457, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets |
13 | Epaminondas Kapetanios, Paul Groenewoud |
Query Construction through Meaningful Suggestions of Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings, pp. 226-239, 2002, Springer, 3-540-00074-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Ontologies, Information Retrieval, Semantics, Query Languages |
13 | Klaus Michael Wenger |
A New Approach to Cactus Construction Applied to TSP Support Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002, Proceedings, pp. 109-126, 2002, Springer, 3-540-43676-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Giovanni Manzini, Paolo Ferragina |
Engineering a Lightweight Suffix Array Construction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 698-710, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Danny Z. Chen, Xiaobo Hu 0001, Shuang Luan, Xiaodong Wu 0001, Cedric X. Yu |
Optimal Terrain Construction Problems and Applications in Intensity-Modulated Radiation Therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 270-283, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Wolfgang Merkle, Nenad Mihailovic |
On the Construction of Effective Random Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 568-580, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Carlisle Eldwidge George |
Using visualization to aid program construction tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2002, Cincinnati, Kentucky, USA, February 27 - March 3, 2002, pp. 191-195, 2002, ACM, 1-58113-473-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Farhi Marir, Karim Ouazzane, Kamel Zerzour |
OSCONVR: An Interactive Virtual Reality Interface to an Object-Oriented Database System for Construction Architectural Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part II, pp. 258-267, 2002, Springer, 3-540-43593-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Ge Yang 0001, Ruoming Jin, Gagan Agrawal |
Implementing Data Cube Construction using a Cluster Middleware: Algorithms, Implementation Experience, and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 22-24 May 2002, Berlin, Germany, pp. 84-92, 2002, IEEE Computer Society, 0-7695-1582-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Wei Zhang 0018, Jana Kosecká, Fayin Li |
Mosaic Construction from a Sparse Set of Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 1st International Symposium on 3D Data Processing Visualization and Transmission (3DPVT 2002), 19-21 June 2002, Padova, Italy, pp. 177-181, 2002, IEEE Computer Society, 0-7695-1521-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Ying Cao, Kwok-Wing Chau, M. Anson, Jianping Zhang |
An Intelligent Decision Support System in Construction Management by Data Warehousing Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCIS ![In: Engineering and Deployment of Cooperative Information Systems, First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002, Proceedings, pp. 360-369, 2002, Springer, 3-540-44222-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Oliver Vickers, Julian A. Padget |
Skeletal Jade Components for the Construction of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMEC ![In: Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems, AAMAS 2002 Workshop on Agent Mediated Electronic Commerce, Bologna, Italy, July 16, 2002, Revised Papers, pp. 307-324, 2002, Springer, 3-540-00327-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Clark A. Cory |
Utilization of 2D, 3D, or 4D CAD in Construction Communication Documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 219-226, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Abdulkadir Ganah, Chimay J. Anumba, N. M. Bouchlaghem |
Computer Visualisation as a Communication Tool in the Construction Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 679-683, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Computer Visualisation, Buildability, Communication, Design information |
13 | Amos Beimel, Yuval Ishai |
Information-Theoretic Private Information Retrieval: A Unified Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 912-926, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Tobias Grosche, Armin Heinzl, Franz Rothlauf |
A Conceptual Approach for Simultaneous Flight Schedule Construction with Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, pp. 257-267, 2001, Springer, 3-540-41920-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Kramer 0001 |
Demand-Driven Construction of Structural Features in ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 132-141, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Albert Brunner |
Zürich Airport Extension Project: Digital Support for Earthwork Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Earth Moving ![In: Digital Earth Moving, First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001, Proceedings, pp. 1, 2001, Springer, 3-540-42586-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Chi-Yuen Ng, Joseph Lee, Felix Cheung, Ben Kao, David Wai-Lok Cheung |
Efficient Algorithms for Concept Space Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining - PAKDD 2001, 5th Pacific-Asia Conference, Hong Kong, China, April 16-18, 2001, Proceedings, pp. 90-101, 2001, Springer, 3-540-41910-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
information retrieval, text mining, thesaurus, concept space |
13 | Gerhard Sagerer, Christian Bauckhage, Elke Braun, Jannik Fritsch, Franz Kummert, Frank Lömker, Sven Wachsmuth |
Structure and Process: Learning of Visual Models and Construction Plans for Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensor Based Intelligent Robots ![In: Sensor Based Intelligent Robots, International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000, Selected Revised Papers, pp. 317-344, 2000, Springer, 3-540-43399-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | John S. McCaskill, Patrick Wagler |
From Reconfigurability to Evolution in Construction Systems: Spanning the Electronic, Microfluidic and Biomolecular Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings, pp. 286-299, 2000, Springer, 3-540-67899-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Haw-ren Fang, Tsan-sheng Hsu, Shun-chin Hsu |
Construction of Chinese Chess Endgame Databases by Retrograde Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 96-114, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
computer Chinese chess, endgame databases, retrograde analysis, index scheme, algorithm |
13 | Simaan M. AbouRizk, Yasser Mohamed |
Simphony: an integrated environment for construction simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1907-1914, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Christian Rupprecht 0002, Martin Fünffinger, Holger Knublauch, Thomas Rose 0001 |
Capture and Dissemination of Experience about the Construction of Engineering Processes. ![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. 294-308, 2000, Springer, 3-540-67630-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Jason Cong, Xin Yuan 0005 |
Routing tree construction under fixed buffer locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 379-384, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Felipe Gouveia de Freitas, Julio César Sampaio do Prado Leite |
Reusing Domains for the Construction of Reverse Engineering Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Sixth Working Conference on Reverse Engineering, WCRE '99, Atlanta, Georgia, USA, October 6-8, 1999, pp. 24-, 1999, IEEE Computer Society, 0-7695-0303-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
domain oriented reuse, reverse engineering tools, reverse engineering, transformation systems |
13 | Johannes Gehrke, Venkatesh Ganti, Raghu Ramakrishnan 0001, Wei-Yin Loh |
BOAT-Optimistic Decision Tree Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1999, Proceedings ACM SIGMOD International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, USA., pp. 169-180, 1999, ACM Press, 1-58113-084-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | G. Arcangeli, Jürgen Assfalg, R. Tartaglia, Enrico Vicario |
A Virtual Environment for Construction Workers Instruction and Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 1123-1125, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Yang Cao, Ruoyu Yang, Jun Tan, Shijie Cai |
Automatic Interpretation of Construction Structure Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition, Recent Advances, Third International Workshop, GREC'99 Jaipur, India, September 26-27, 1999, Selected Papers, pp. 298-304, 1999, Springer, 3-540-41222-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Véronique Plihon, Colette Rolland |
Using a Generic Approach to Support the Construction of Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 663-672, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Dong-Yal Seo, Dong-Ha Lee, Kang-Sik Moon, Jisook Chang, Jeon-Young Lee, Chang-You Han |
Schemaless Representation of Semistructured Data and Schema Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 387-396, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Aaron C. W. Kotcheff, Christopher J. Taylor 0001 |
Automatic Construction of Eigenshape Models by Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, Proceedings, pp. 1-14, 1997, Springer, 3-540-63046-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Jong Won Park, David T. Harper III |
An Efficient Memory System for the SIMD Construction of a Gaussian Pyramid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(8), pp. 855-860, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
SIMD memory architecture, address calculating circuit, data routing circuit, Gaussian pyramid algorithms, image processing, parallel memory systems |
13 | Martin Farach, S. Muthukrishnan 0001 |
Optimal Logarithmic Time Randomized Suffix Tree Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 550-561, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Dresbach |
Modeling by Construction: A New Methodology for Constructing Models for Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 178-190, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Jan Bosch |
Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 326-340, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Marek Karpinski, Wojciech Rytter |
On a Sublinear Time Parallel Construction of Optimal Binary Search Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 453-461, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Sibsankar Haldar, P. S. Subramanian |
Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings, pp. 116-129, 1994, Springer, 3-540-58449-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Peter Becker 0001 |
A New Algorithm for the Construction of Optimal B-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings, pp. 49-60, 1994, Springer, 3-540-58218-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Jin Wang |
Parallel Construction of Minimal Perfect Hashing Functions with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 265-271, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
13 | V. Srinivasan 0001, Michael J. Carey 0001 |
Performance of On-Line Index Construction Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings, pp. 293-309, 1992, Springer, 3-540-55270-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Reinhold Heckmann |
An Upper Power Domain Construction in Terms of Strongly Compact Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 272-293, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Andrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins |
Automatic Construction of Test Sets: Theoretical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Baltic Computer Science ![In: Baltic Computer Science, Selected Papers, pp. 286-359, 1991, Springer, 3-540-54131-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Babak Sadeghiyan, Josef Pieprzyk |
A Construction for One Way Hash Functions and Pseudorandom Bit Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '91, Workshop on the Theory and Application of of Cryptographic Techniques, Brighton, UK, April 8-11, 1991, Proceedings, pp. 431-445, 1991, Springer, 3-540-54620-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Alexei I. Miroshnikov |
A0 System: APL in Construction Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1991, Palo Alto, CA, USA, August 4-8, 1991., pp. 274-277, 1991, ACM, 0-89791-441-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
APL |
13 | Steven K. Graham |
Closure Properties of a Probabilistic Domain Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 213-233, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Guangchen Ruan, Ying Tan 0002 |
A three-layer back-propagation neural network for spam detection using artificial immune concentration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(2), pp. 139-150, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Neural networks, Artificial Immune System, Concentration, Feature construction, Spam detection |
13 | Zefu Dai, Nick Ni, Jianwen Zhu |
A 1 cycle-per-byte XML parsing accelerator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, FPGA 2010, Monterey, California, USA, February 21-23, 2010, pp. 199-208, 2010, ACM, 978-1-60558-911-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bart, schema validation, string comparison, xml parsing, ethernet, bloom filter, dom, tree construction |
13 | Senjuti Basu Roy, Sihem Amer-Yahia, Ashish Chawla, Gautam Das 0001, Cong Yu 0001 |
Constructing and exploring composite items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 843-854, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
composite item construction, np-hard problems, e-commerce application |
13 | Grace Ngai, Stephen C. F. Chan, Vincent T. Y. Ng, Joey C. Y. Cheung, Sam S. S. Choy, Winnie W. Y. Lau, Jason T. P. Tse |
i*CATch: a scalable plug-n-play wearable computing framework for novices and children. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 443-452, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
computational textiles, i*catch, wearable computing, electronic textiles, construction kits, e-textiles, smart textiles |
13 | Patrick Baudisch, Torsten Becker, Frederik Rudeck |
Lumino: tangible blocks for tabletop computers based on glass fiber bundles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1165-1174, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
glass fiber bundles, tangible, tabletop, stacking, building blocks, construction kit, fiducial markers |
13 | Arnan Sipitakiat, Paulo Blikstein |
Think globally, build locally: a technological platform for low-cost, open-source, locally-assembled programmable bricks for education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 231-232, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
appropriate technologies, probeware, open-source, constructionism, construction kits, educational robotics |
13 | Christos Koukouvinos, Dimitris E. Simos |
Self-dual Codes over Small Prime Fields from Combinatorial Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 278-287, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
construction, combinatorial designs, Self-dual codes |
13 | Chi Ho Yeung, K. Y. Michael Wong |
Self-organized Balanced Resources in Random Networks with Transportation Bandwidths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 806-818, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Maxwell’s construction, Bethe approximation, resource allocation, message-passing, bandwidth, scale-free networks |
13 | Arnaud Giacometti, Eynollah Khanjari Miyaneh, Patrick Marcel, Arnaud Soulet |
A Framework for Pattern-Based Global Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 433-440, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
local pattern, clustering, summarization, model construction, global model |
13 | Michael Philetus Weller, Ellen Yi-Luen Do, Mark D. Gross |
State machines are child's play: observing children ages 9 to 11 playing Escape Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 8th International Conference on Interaction Design and Children, IDC 2009, Como, Italy, June 3-5, 2009, pp. 170-173, 2009, ACM, 978-1-60558-395-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithmic specification, evaluation, games, tangible UI, construction kits |
13 | Benjamin Weyers, Wolfram Luther, Nelson Baloian |
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation, and Use, 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings, pp. 311-318, 2009, Springer, 978-3-642-04215-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cooperative construction, dialog and interaction logic modeling, learning environment, cryptographic algorithm |
13 | Chang Hao Yin, Young Ae Seo, Young-Gil Kim |
Korean-Chinese Machine Translation Using Three-Stage Verb Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPOL ![In: Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy, 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings, pp. 313-320, 2009, Springer, 978-3-642-00830-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Korean-Chinese machine translation, verb pattern, pattern construction |
13 | Takahiro Matsuda 0002, Kanta Matsuura, Jacob C. N. Schuldt |
Efficient Constructions of Signcryption Schemes and Signcryption Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2009, 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009. Proceedings, pp. 321-342, 2009, Springer, 978-3-642-10627-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multi-user security, signcryption, generic construction |
13 | Pedro M. Wightman, Miguel A. Labrador |
Atarraya: a simulation tool to teach and research topology control algorithms for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 26, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
topology construction, topology maintenance |
13 | Cornelia Wendt, Michael Popp, Berthold Färber |
Emotion induction during human-robot interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, HRI 2009, La Jolla, California, USA, March 9-13, 2009, pp. 213-214, 2009, ACM, 978-1-60558-404-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
joint construction, stress induction, human-robot interaction, emotion recognition |
13 | Iyad AlAgha, Liz Burd |
Towards a constructivist approach to learning from hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009, pp. 51-56, 2009, ACM, 978-1-60558-486-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hypertext layering, knowledge construction, meta-cognitive tool, navigation planning, constructivism, adaptable hypertext |
13 | Leah Buechley, Sue Hendrix, Michael Eisenberg |
Paints, paper, and programs: first steps toward the computational sketchbook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction 2009, Cambridge, UK, February 16-18, 2009, pp. 9-12, 2009, ACM, 978-1-60558-493-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
conductive paint, magnetic paint, paper computing, papercrafts, construction kit |
13 | N. S. Narayanaswamy, R. Subhash Babu |
A Note on First-Fit Coloring of Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(1), pp. 49-53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
First fit for online graph coloring, Column construction method, Competitive analysis |
13 | Jun-Wu Dong, Dingyi Pei, Xue-Li Wang |
A Class of Key Predistribution Schemes Based on Orthogonal Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(5), pp. 825-831, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
key predistribution scheme, Bush’s construction, sensor network, combinatorial design, orthogonal array |
13 | András Gács, Tamás Szönyi |
Random constructions and density results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 47(1-3), pp. 267-287, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Random construction, Partial spread, Probabilistic method, Blocking set |
13 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 43:1-43:36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
13 | Tommaso Flaminio |
Strong non-standard completeness for fuzzy logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 321-333, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-standard completeness, Ultraproduct construction, Fuzzy events, Conditional probability |
13 | Hao Chen 0095 |
Constructing quantum codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(2), pp. 143-146, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CSS construction, enlargement of the CSS code, symplectic inner product, twisted code, AG-code, quantum error-correcting code |
13 | Jingbo Hao, Jianping Yin |
A Preliminary Study of Coordinated Worm Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISECS ![In: Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China, pp. 137-140, 2008, IEEE Computer Society, 978-0-7695-3258-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coordinated worm network, peer-to-peer, application, construction |
13 | Maciej Piasecki, Stan Szpakowicz, Michal Marcinczuk, Bartosz Broda |
Classification-Based Filtering of Semantic Relatedness in Hypernymy Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 393-404, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lexical-semantic relations, measures of semantic relatedness, wordnet construction, Polish WordNet, hypernymy extraction, Rank Weight Function, filtering, classifiers, supervised Machine Learning, nouns |
13 | Milena Reichel, Heidi Schelhowe |
Living labs: driving innovation through civic involvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Proceedings of the 7th International Conference on Interaction Design and Children, IDC 2008, Chicago, Illinois, USA, June 11-13, 2008, pp. 141-144, 2008, ACM, 978-1-59593-994-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
participatory design, construction kits, smart textiles |
13 | Florent Becker, Eric Rémila, Nicolas Schabanel |
Time Optimal Self-assembly for 2D and 3D Shapes: The Case of Squares and Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers, pp. 144-155, 2008, Springer, 978-3-642-03075-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Time Optimal Construction, 2D and 3D Discrete Geometry, Tilings, Self-assembling |
13 | Axel van Lamsweerde |
Requirements engineering: from craft to discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 238-249, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lightweight analysis, problem modeling, responsibility assignment, specification construction, requirements engineering, system design, goal orientation, formal derivation, operationalization |
13 | Leah Buechley, Michael Eisenberg, Jaime Catchen, Ali Crockett |
The LilyPad Arduino: using computational textiles to investigate engagement, aesthetics, and diversity in computer science education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 423-432, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
computational textiles, construction kits., lilypad arduino, wearable computing, electronic textiles, e-textiles, smart textiles |
13 | Juncong Lin, Xiaogang Jin 0001, Zhengwen Fan, Charlie C. L. Wang |
Automatic PolyCube-Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings, pp. 3-16, 2008, Springer, 978-3-540-79245-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PolyCube-Maps, parameterization, Reeb graph, automatic construction |
13 | Weishu Wei, Xiaonan Luo, Zheng Li |
Layer-Based Mannequin Reconstruction and Parameterization from 3D Range Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings, pp. 498-504, 2008, Springer, 978-3-540-79245-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mannequin, scan point, parameterization, construction |
13 | Peter Merz, Matthias Priebe, Steffen Wolf 0002 |
Super-Peer Selection in Peer-to-Peer Networks Using Network Coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 385-390, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Overlay Topology Construction, Peer-to-Peer, Network Coordinates |
13 | Alex Bean, Sabina Siddiqi, Anila Chowdhury, Billy Whited, Orit Shaer, Robert J. K. Jacob |
Marble track audio manipulator (MTAM): a tangible user interface for audio composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, Bonn, Germany, February 18-20, 2008, pp. 27-30, 2008, ACM, 978-1-60558-004-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
augmented construction kit, children, tangible user interface, music |
13 | Eric Schweikardt, Mark D. Gross |
The robot is the program: interacting with roBlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 2nd International Conference on Tangible and Embedded Interaction 2008, Bonn, Germany, February 18-20, 2008, pp. 167-168, 2008, ACM, 978-1-60558-004-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
robot, distributed, programming, construction, toy |
13 | Thomas Bock, Masahiro Nohmi, Miroslaw J. Skibniewski |
Enabling e-business tools and robotics technology for teleconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 22(3), pp. 293-304, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Teleconstruction, Construction robotics, E-business, Remote control |
13 | Demetrios Zeinalipour-Yazti, Vana Kalogeraki, Dimitrios Gunopulos |
pFusion: A P2P Architecture for Internet-Scale Content-Based Search and Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(6), pp. 804-817, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
overlay construction algorithms, Information retrieval, peer-to-peer |
13 | Marco Chiarandini, Thomas Stützle |
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(3), pp. 371-403, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph set T-colouring problem, Simple construction heuristics, Stochastic local search algorithms |
13 | Helmut Pottmann, Yang Liu 0014, Johannes Wallner 0001, Alexander I. Bobenko, Wenping Wang |
Geometry of multi-layer freeform structures for architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 26(3), pp. 65, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Koebe polyhedron, edge offset, multi-layer construction, offset mesh, parallel mesh, support structure, surfaces in architecture, curvatures, discrete differential geometry, hexagonal mesh |
13 | Dace A. Campbell |
Building information modeling: the Web3D application for AEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceeding of the Twelfth International Conference on 3D Web Technology, Web3D 2007, Perugia, Italy, April 15-18, 2007, pp. 173-176, 2007, ACM, 978-1-59593-652-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visualization, architecture, X3D, engineering, construction, Web3D, IFC, building information modeling, BIM |
13 | Seongmoon Wang, Wenlong Wei |
A Technique to Reduce Peak Current and Average Power Dissipation in Scan Designs by Limited Capture. ![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. 810-816, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
peak current reduction, average power dissipation, clock tree construction, special scan cells, scan chain reordering, ATPG, scan designs |
13 | Goce Jakimoski, K. P. Subbalakshmi |
On Efficient Message Authentication Via Block Cipher Design Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings, pp. 232-248, 2007, Springer, 978-3-540-76899-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Wegman-Carter construction, maximum differential probability, block ciphers, Message authentication, universal hash functions |
13 | Li Xu |
RobotStudio: a modern IDE-based approach to reality computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 440-444, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
eclipse, IDE, compiler construction, educational robotics |
13 | Vasileios Mezaris, Ioannis Kompatsiaris, Michael G. Strintzis |
Object-based MPEG-2 video indexing and retrieval in a collaborative environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 30(3), pp. 255-272, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Compressed-domain video segmentation, Object-based video indexing, Collaborative knowledge base construction, Ontologies, Support vector machines, Relevance feedback |
13 | Manish Vachharajani, Neil Vachharajani, David A. Penry, Jason A. Blome, Sharad Malik, David I. August |
The Liberty Simulation Environment: A deliberate approach to high-level system modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 24(3), pp. 211-249, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulator construction, component reuse, structural modeling, Liberty Simulation Environment (LSE) |
13 | Filip Zelezný, Nada Lavrac |
Propositionalization-based relational subgroup discovery with RSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 62(1-2), pp. 33-63, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Feature construction, Subgroup discovery, Relational data mining, Propositionalization |
13 | Hung Son Nguyen |
Approximate Boolean Reasoning: Foundations and Applications in Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 334-506, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction |
13 | Laxmi Parida |
A PQ Framework for Reconstructions of Common Ancestors and Phylogeny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comparative Genomics ![In: Comparative Genomics, RECOMB 2006 International Workshop, RCG 2006, Montreal, Canada, September 24-26, 2006, Proceedings, pp. 141-155, 2006, Springer, 3-540-44529-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
PQ tree, common ancestor, evolution, inversion, reversal, phylogeny, genome rearrangement, transposition, genealogy, tree construction |
13 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 180-193, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction |
13 | Shantanu Das 0001, Shay Kutten, Ayelet Yifrach |
Improved Distributed Exploration of Anonymous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006., pp. 306-318, 2006, Springer, 3-540-68139-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
unlabeled nodes, asynchronous distributed leader election, k agents, map construction, anonymous network |
13 | Michael Hielscher, Christian Wagenknecht |
AtoCC: learning environment for teaching theory of automata and formal languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 306, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automata publication, formal languages, compiler construction |
13 | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
Roadmap for enhanced languages and methods to aid verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 221-236, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
13 | Antonia Azzini, Paolo Ceravolo |
Evolutionary ANNs for Improving Accuracy and Efficiency in Document Classification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part III, pp. 1111-1118, 2006, Springer, 3-540-46542-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Bags, Genetic Algorithms, Neural Networks, Formal Concept Analysis, Ontology Construction |
13 | Ricardo Ribeiro 0001, Fernando Batista, Joana Paulo Pardal, Nuno J. Mamede, Helena Sofia Pinto |
Cooking an Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings, pp. 213-221, 2006, Springer, 3-540-40930-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
knowledge representation, natural language processing, dialogue systems, ontology construction |
|
|