|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 411 occurrences of 380 keywords
|
|
|
Results
Found 610 publication records. Showing 610 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Ada Gavrilovska, Karsten Schwan |
Addressing data compatibility on programmable network platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2005 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2005, Princeton, New Jersey, USA, October 16-18, 2005, pp. 125-134, 2005, ACM, 1-59593-082-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data morphing, network processors, streaming applications |
10 | Alain Chabrier, Emilie Danna, Claude Le Pape, Laurent Perron |
Solving a Network Design Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 130(1-4), pp. 217-239, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
industrial benchmark, network design, constraint programming, mixed integer programming, branch and price |
10 | William Agassounon, Alcherio Martinoli, Kjerstin Easton |
Macroscopic Modeling of Aggregation Experiments using Embodied Agents in Teams of Constant and Time-Varying Sizes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 17(2-3), pp. 163-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
threshold-based allocation algorithms, collective aggregation, swarm intelligence, swarm robotics, macroscopic modeling |
10 | Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown |
Requirements-document-based prototyping of CARA software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(4), pp. 370-390, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Specification, Software tools, Rapid prototyping, Requirements analysis, Parallel design |
10 | Gene Cheung, Wai-tian Tan, Takeshi Yoshimura |
Double feedback streaming agent for real-time delivery of media over 3G wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 6(2), pp. 304-314, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Rong Tang 0001, Mike Thelwall |
Patterns of national and international Web inlinks to US academic departments: An analysis of disciplinary variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 60(3), pp. 475-485, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Kim Man Lui, Keith C. C. Chan |
A Cognitive Model for Solo Programming and Pair Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 94-102, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Glêdson Elias da Silveira, Adilson B. Lopes, Frederico Borelli, Maurício F. Magalhães |
Exploring an open, distributed multimedia framework to design and develop an adaptive middleware for interactive digital television systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1258-1264, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software components, adaptive middleware, digital television |
10 | Bettina Buth |
Analysing Mode Confusion: An Approach Using FDR2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 101-114, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Luca Becchetti |
Modeling Locality: A Probabilistic Analysis of LRU and FWF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2004, 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings, pp. 98-109, 2004, Springer, 3-540-23025-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hector Garcia-Molina |
Entity Resolution: Overview and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 1-2, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Nikita E. Shklovskiy-Kordi, Boris Zingerman, Marina Krol |
Incorporation of Computerized Blood Product Labeling in Hospital Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USA, pp. 497-499, 2004, IEEE Computer Society, 0-7695-2104-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jintae Kim, Jaeseo Lee, Lieven Vandenberghe |
Techniques for improving the accuracy of geometric-programming based analog circuit design optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 863-870, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Abdouslam M. Bashir, Robert Bicker, Paul M. Taylor |
An investigation into different visual/tactual feedback modes for a virtual object manipulation task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings VRCAI 2004, ACM SIGGRAPH International Conference on Virtual Reality Continuum and its Applications in Industry, Nanyang Technological University, Singapore, June 16-18, 2004, pp. 359-362, 2004, ACM, 1-58113-884-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
augmented environment (AE), display mode, force/visual feedback, virtual environments (VE) |
10 | Alexander Berengolts, Michael Lindenbaum |
On the Distribution of Saliency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2004), with CD-ROM, 27 June - 2 July 2004, Washington, DC, USA, pp. 543-549, 2004, IEEE Computer Society, 0-7695-2158-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Anke Schneidewind, Petra Neumann 0001, Ingo Schmitt |
An Approach to Visualize Image Retrieval Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDDE ![In: Proceedings MDDE '04, 4th International Workshop on Multimedia Data and Document Engineering, Washington, DC, USA, July 2nd 2004, pp. 148, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Hans Jochen Scholl |
Action Research and System Dynamics: Can They Benefit from Each Other? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Rong Jin 0001, Joyce Y. Chai, Luo Si |
An automatic weighting scheme for collaborative filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Sheffield, UK, July 25-29, 2004, pp. 337-344, 2004, ACM, 1-58113-881-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
item weighting scheme, leave one out method, memory-based approach, collaborative filtering |
10 | Se-Jin Ji, Byung-Joo Kim, Jong-Hee Park |
An Agent-Architecture for Implementing a Virtual Inhabitant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 10th International Multimedia Modeling Conference (MMM 2004), 5-7 January 2004, Brisbane, Australia, pp. 316-322, 2004, IEEE Computer Society, 0-7695-2084-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Frederico Borelli, Adilson B. Lopes, Glêdson Elias da Silveira |
An XML-based Component Specification Model for an Adaptive Middleware of Interactive Digital Television Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (1) ![In: 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan, pp. 457-463, 2004, IEEE Computer Society, 0-7695-2051-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sergey Novikov, Oleg Ushmaev |
Registration and Modeling of Elastic Deformations of Fingerprints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV Workshop BioAW ![In: Biometric Authentication, ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15, 2004, Proceedings, pp. 80-88, 2004, Springer, 3-540-22499-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Zhihua Wen, Vassilios Tzerpos |
Evaluating Similarity Measures for Software Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 368-377, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Tim Menzies, Justin S. Di Stefano |
More Success and Failure Factors in Software Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(5), pp. 474-477, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
machine learning, Reuse |
10 | David Poutakidis, Lin Padgham, Michael Winikoff |
An Exploration of Bugs and Debugging in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 628-632, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Wei Yu, Z. Meral Özsoyoglu, Gultekin Özsoyoglu |
XML Restructuring and Integration for Tabular Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 233-243, 2003, Springer, 3-540-40806-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen |
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 66-80, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Andrew Walenstein, Nitin Jyoti, Junwei Li, Yun Yang, Arun Lakhotia |
Problems Creating Task-relevant Clone Detection Reference Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 285-295, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Rainer Koschke, Daniel Simon |
Hierarchical Reflexion Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 36-45, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Peter Rogelj, Stanislav Kovacic |
Point Similarity Measure Based on Mutual Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WBIR ![In: Biomedical Image Registration, Second International Workshop, WBIR 2003, Philadelphia, PA, USA, June 23-24, 2003, Revised Papers, pp. 112-121, 2003, Springer, 3-540-20343-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nikita E. Shklovskiy-Kordi, Boris Zingerman, Nikolay Rivkind, Scott Davis, Lyuba Varticovski, Marina Krol |
Multimedia Case History as a Tool for Management of Patients and Clinical Trials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 269-272, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Wouter P. van Rijsinge, Linda C. van der Gaag, Frank L. J. Visseren, Yolanda van der Graaf |
Compliance with the Hyperlipidaemia Consensus: Clinicians versus the Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings, pp. 340-344, 2003, Springer, 3-540-20129-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Baihua Li, Horst Holstein |
Using k-d Trees for Robust 3D Point Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: 4th International Conference on 3D Digital Imaging and Modeling (3DIM 2003), 6-10 October 2003, Banff, Canada, pp. 95-102, 2003, IEEE Computer Society, 0-7695-1991-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
non-rigid robust point pattern matching (PPM), k-dimensional tree, point-set alignment, spatial data representation |
10 | Piotr Arabas, Mariusz Kamola, Krzysztof Malinowski 0001 |
IP Services Market: Modelling, Research, and Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art-QoS ![In: Architectures for Quality of Service in the Internet, International Workshop, Art-QoS 2003, Warsaw, Poland, March 24-25, 2003, Revised Papers, pp. 76-87, 2003, Springer, 3-540-40444-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Eike Schallehn, Kai-Uwe Sattler |
Using Similarity-Based Operations for Resolving Data-Level Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: New Horizons in Information Management, 20th British National Conference on Databases, BNCOD 20, Coventry, UK, July 15-17, 2003, Proceedings, pp. 172-189, 2003, Springer, 3-540-40536-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen |
Comparative Rapid Prototyping, A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 210-217, 2003, IEEE Computer Society, 0-7695-1943-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Thomas G. Moher, David Haas, Janet Kim, Andrew E. Johnson 0001 |
Designing digital phenomenaria: the bee dance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Educators Program ![In: Educators program from the 30th annual conference on Computer graphics and interactive techniques, 2003, San Diego, California, USA, July 27 - 31, 2003, 2003, ACM, 978-1-4503-7459-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Gwenolé Maugard, Carsten Wegener, Tom O'Dwyer, Michael Peter Kennedy |
Method of reducing contactor effect when testing high-precision ADCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USA, pp. 210-217, 2003, IEEE Computer Society, 0-7803-8106-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kane Usher, Peter I. Corke, Peter R. Ridley |
Landmark-Based Nonholonomic Visual Homing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSR ![In: Field and Service Robotics, Recent Advances in Reserch and Applications, FSR 2003, Lake Yamanaka, Japan, 14-16 July 2003, pp. 61-70, 2003, Springer, 978-3-540-32801-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas Stathis |
Competent Agents and Customising Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World IV, 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers, pp. 168-181, 2003, Springer, 3-540-22231-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | David Poutakidis, Lin Padgham, Michael Winikoff |
An exploration of bugs and debugging in multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 1100-1101, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
agent oriented design, multi-agent systems, debugging, interaction protocols |
10 | Yui-Wah Lee, Kwong-Sak Leung, Mahadev Satyanarayanan |
Operation Shipping for Mobile File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(12), pp. 1410-1422, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Operation shipping, operation-based update propagation, mobile file systems, surrogate client, application-awareness, application-transparency, Coda File System, forward error correction |
10 | Dymitr Ruta, Bogdan Gabrys |
A Theoretical Analysis of the Limits of Majority Voting Errors for Multiple Classifier Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 5(4), pp. 333-350, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Error distribution, Multistage organisations, Generalisation, Majority voting, Combining classifiers, Margin |
10 | Kagan Tumer, Joydeep Ghosh |
Robust Combining of Disparate Classifiers through Order Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 5(2), pp. 189-200, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Classification error, Trimmed means, Ensembles, Robust statistics, Order statistics |
10 | Robert L. Glass |
How to handle real project risks, while filing gaps in the risk theory literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 33(2), pp. 7-8, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Paul Davidsson, Fredrik Wernstedt |
A multi-agent system architecture for coordination of just-in-time production and distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 294-299, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
district heating, multi-agent system architecture, coordination |
10 | Alberto García Ortiz, Lukusa D. Kabulepa, Manfred Glesner |
Efficient estimation of signal transition activity in MAC architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002, Monterey, California, USA, August 12-14, 2002, pp. 319-322, 2002, ACM, 1-58113-475-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
low power, MAC, power estimation, transition activity |
10 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 357-370, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
10 | Reuben Wilcock, Bashir M. Al-Hashimi |
Application of group delay equalisation in testing fully-balanced OTA-C filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 643-646, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | C. Ranganathan, Nongkran Lertpittayapoom |
Towards a Conceptual Framework for Understanding Strategic Alliances in E-commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 242, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Wil M. P. van der Aalst, Boudewijn F. van Dongen |
Discovering Workflow Performance Models from Timed Logs. ![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. 45-63, 2002, Springer, 3-540-44222-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
data mining, Petri nets, workflow management, Workflow mining |
10 | Claude Le Pape, Laurent Perron, Jean-Charles Régin, Paul Shaw |
Robust and Parallel Solving of a Network Design Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 633-648, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Michela Milano, Willem Jan van Hoeve |
Reduced Cost-Based Ranking for Generating Promising Subproblems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 1-16, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Verdel, Yiorgos Makris |
Duplication-Based Concurrent Error Detection in Asynchronous Circuits: Shortcomings and Remedies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 6-8 November 2002, Vancouver, BC, Canada, Proceedings, pp. 345-353, 2002, IEEE Computer Society, 0-7695-1831-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Hua Dong, Simeon Keates, P. John Clarkson, Julia Cassim |
Implementing Inclusive Design: The Discrepancy between Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Interfaces for All ![In: Universal Access: Theoretical Perspectives, Practice, and Experience, 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24-25, 2002, Revised Papers, pp. 106-117, 2002, Springer, 3-540-00855-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Paul J. Tanenbaum, Ann N. Trenk, Peter C. Fishburn |
Linear Discrepancy and Weak Discrepancy of Partially Ordered Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(3), pp. 201-225, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
linear discrepancy, weak discrepancy, weak extension, linear extension |
10 | Dilip V. Sarwate, Naresh R. Shanbhag |
High-speed architectures for Reed-Solomon decoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 9(5), pp. 641-655, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Giuseppe Mantovani, Luciano Gamberini, Massimiliano Martinelli, Diego Varotto |
Exploring the Suitability of Virtual Environments for Safety Training: Signals, Norms and Ambiguity in a Simulated Emergency Escape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 3(1), pp. 33-41, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Virtual environments, Training, Safety, Signals, Social norms |
10 | Mukund Sivaraman, Andrzej J. Strojwas |
Path delay fault diagnosis and coverage-a metric and an estimationtechnique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(3), pp. 440-457, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Khaled M. Khan, Jun Han 0004, Yuliang Zheng 0001 |
A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 13th Australian Software Engineering Conference (ASWEC 2001), 26-28 August 2001, Canberra, Australia, pp. 117-126, 2001, IEEE Computer Society, 0-7695-1254-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Roman Gumzej, Matjaz Colnaric |
An Approach to Modeling and Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 283-290, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ingrid Zukerman |
An Integrated Approach for Generating Arguments and Rebuttals and Understanding Rejoinders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Modeling ![In: User Modeling 2001, 8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001, Proceedings, pp. 84-94, 2001, Springer, 3-540-42325-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
discourse planning, Bayesian networks, argumentation, plan recognition |
10 | Rym Mili, Renee Steiner |
Software Engineering - Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Visualization ![In: Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures, pp. 129-137, 2001, Springer, 3-540-43323-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | David P. Dobkin, Ayellet Tal |
Efficient and small representation of line arrangements with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 293-301, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jason Liu 0001, David M. Nicol |
Learning not to share. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the 15th Workshop on Parallel and Distributed Simulation, PADS 2001, Lake Arrowhead, California, USA, May 15-18, 2001, pp. 46-55, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jens Guehring |
Reliable 3D Surface Acquisition, Registration and Validation Using Statistical Error Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: 3rd International Conference on 3D Digital Imaging and Modeling (3DIM 2001), 28 May - 1 June 2001, Quebec City, Canada, pp. 224-231, 2001, IEEE Computer Society, 0-7695-0984-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Andrew D. McCulloch, Derrick Sung, Mary Ellen Thomas, Anushka Michailova |
Experimental and Computational Modeling of Cardiac Electromechanical Coupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, First International Workshop, Helsinki, Finland, November 15-16, 2001, Proceedings, pp. 113-119, 2001, Springer, 3-540-42861-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Yi-Min Jiang, Han Young Koh, Kwang-Ting Cheng |
HRM - A Hierarchical Simulator for Full-Chip Power Network Reliability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 26-28 March 2001, San Jose, CA, USA, pp. 307-312, 2001, IEEE Computer Society, 0-7695-1025-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Velegrakis, Vassilis Christophides, Panos Constantopoulos |
On Z39.50 wrapping and description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 3(3), pp. 208-220, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Z39.50 wrapping, Information retrieval, Description logics, Query rewriting |
10 | Rossella Cancelliere |
A High Parallel Procedure to Initialize the Output Weights of a Radial Basis Function or BP Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, New Paradigms for HPC in Industry and Academia, 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings, pp. 384-390, 2000, Springer, 3-540-41729-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Helmut Horacek |
Presenting Mathematical Concepts as an Example for Inference-Rich Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers, pp. 301-312, 2000, Springer, 3-540-41943-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Ho-Chuan Huang, Jon M. Kerridge, Shang-Liang Chen |
A Query Mediation Approach to Interoperability of Heterogeneous Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Database Conference ![In: Australasian Database Conference, ADC 2000, Canberra, Australia, January 31 - February 3, 2000, pp. 41-48, 2000, IEEE Computer Society, 0-7695-0528-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Saehwa Kim, Sukjae Cho, Seongsoo Hong |
Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 7-14, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
schedulability-aware mapping, multithreaded implementations, real time software developers, object oriented CASE tools, non-trivial optimization problem, task identification, schedulability-aware approach, mutually exclusive transactions, schedulability analysis algorithm, executable code, task derivation problem, scheduling, real-time systems, object-oriented programming, case study, real time schedulability, task model, multi-threading, computer aided software engineering, CASE tools, run-time system, design model, automated synthesis, object oriented design methods, real time object oriented models |
10 | Jean-Daniel Fekete, Nicole Dufournaud |
Compus: visualization and analysis of structured documents for understanding social life in the 16th century. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DL ![In: Proceedings of the Fifth ACM Conference on Digital Libraries, June 2-7, 2000, San Antonio, TX, USA, pp. 47-55, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
computers and the humanities, XML, information visualization, history, SGML, visual data mining, structured documents, XSL, TEI |
10 | Sung Wook Baik, Sung Mahn Ahn, Peter Pachowicz |
Evaluation of Adaptive NN-RBF Classifier Using Gaussian Mixture Density Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biologically Motivated Computer Vision ![In: Biologically Motivated Computer Vision, First IEEE International Workshop, BMVC 2000, Seoul, Korea, May 15-17, 2000, Proceedings, pp. 463-472, 2000, Springer, 3-540-67560-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Satinder P. Gill |
Mediation and communication of information in the cultural interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 13(3), pp. 218-234, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Propositional knowledge, Negotiation, Culture, Mediation, Knowledge transfer, Tacit knowledge |
10 | Yannis Velegrakis, Vassilis Christophides, Panos Constantopoulos |
Declarative Specification of Z39.50 Wrappers Using Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, Third European Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings, pp. 383-402, 1999, Springer, 3-540-66558-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Tsuneo Yamaura, Tohru Kikuno |
A Framework for Top-Down Cost Estimation of Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 322-323, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Ordonez 0001, Edward Omiecinski |
Discovering Association Rules Based on Image Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADL ![In: Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, Baltimore, Maryland, USA, May 19-21, 1999, pp. 38-49, 1999, IEEE Computer Society, 0-7695-0219-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Data Mining, Association Rules, Image Databases |
10 | Éric Leclercq, Djamal Benslimane, Kokou Yétongnon |
Semantic Mediation for Cooperative Spatial Information Systems: The AMUN Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADL ![In: Proceedings of the IEEE Forum on Research and Technology Advances in Digital Libraries, Baltimore, Maryland, USA, May 19-21, 1999, pp. 16-27, 1999, IEEE Computer Society, 0-7695-0219-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
GIS interoperability, mediation architecture, multi-agents systems, semantic heterogeneities, spatial information systems |
10 | Udo Miletzki, Thomas Bayer, Hartmut Schäfer |
Continuous Learning Systems: Postal Address Readers with Built-In Learning Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 329-332, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Continuous Learning Capability, Polynomial Classifier, Stepwise Improvement Classifier SIC, learning sample set, automatic truthing, feature set |
10 | Michel Simard, Pierre Plamondon |
Bilingual Sentence Alignment: Balancing Robustness and Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 13(1), pp. 59-80, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
bilingual sentence alignment, bitext, translation analysis, statistical translation model |
10 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 927-948, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
10 | Frank Emmerich |
Statistical Independence Properties of Inversive Pseudorandom Vectors Over Parts of the Period. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 8(2), pp. 140-152, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
average statistical independence properties, discrete discrepancy, uniform psudorandom vectors, exponential sums, inversive method |
10 | Renée J. Miller |
Using Schematically Heterogeneous Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 189-200, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SQL |
10 | Michael Stonebraker |
Are We Working On the Right Problems? (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 496, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Masahiro Murakawa, Shuji Yoshizawa, Toshio Adachi, Shiro Suzuki, Kaoru Takasuka, Masaya Iwata, Tetsuya Higuchi |
Analogue EHW Chip for Intermediate Frequency Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998, Proceedings, pp. 134-143, 1998, Springer, 3-540-64954-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Vito Pascazio, Gilda Schirinzi |
Signum Coded Synthetic Aperture Radar: The Effect of Oversampling on Image Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 849-852, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
signum coded synthetic aperture radar, one bit coded SAR signals, signum coding, quantized data, frequency overlapping, higher order harmonics, signal bandwidth, image quality parameters, synthetic aperture radar, SAR images, high resolution images, sampling rate, oversampling |
10 | Ankica Babic, Milan Petelin, Teodora Ivanusa |
Convergent assessment of radiographic diagnostic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 11-13 June 1997, Maribor, Slovenia, pp. 205-, 1997, IEEE Computer Society, 0-8186-7928-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
convergent assessment, radiographic diagnostic systems, radiological diagnostics, basic monitoring technique, alveroal bone loss, periodontal disease, Conventional Visual Radiography, clinical status, Digital Subtraction Radiography, Probing Pocket Depth, beagle dogs, medical treatment, clinical trend, bone loss, diagnostic radiography, measurement errors |
10 | Chee-Keong Kwoh 0001, Duncan Fyfe Gillies |
Choice of error cost function for training unobservable nodes in Bayesian networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part II, pp. 565-574, 1997, IEEE. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Sanjeev Mahajan, Edgar A. Ramos, K. V. Subrahmanyam 0001 |
Solving Some Discrepancy Problems in NC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 22-36, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | David P. Dobkin, David Eppstein, Don P. Mitchell |
Computing the Discrepancy with Applications to Supersampling Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 15(4), pp. 354-376, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
discrepancy, supersampling |
10 | Mukund Sivaraman, Andrzej J. Strojwas |
Delay fault coverage: a realistic metric and an estimation technique for distributed path delay faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 494-501, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
fabrication process, coverage, delay testing, delay fault, path sensitization |
10 | Peter Dahlgren |
A multiple-dominance switch-level model for simulation of short faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 674-680, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
intermediate logic values, Fault simulation, Logic simulation |
10 | Tony Savor, Rudolph E. Seviora |
Improving the efficiency of supervision by software through state aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 202-211, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation |
10 | Antonio Mendes da Silva Filho |
Statecharts supervision models for reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 16, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
10 | Syed Masud Mahmud, L. Tissa Samaratunga |
Memory Bandwidth Analysis of Hierarchical Multiprocessors using Model Decomposition and Steady-State Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(5), pp. 553-560, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
memory bandwidth analysis, hierarchicalmultiprocessors, model decomposition, steady-state flow analysis, memory cycle, hierarchical interconnection network, performance evaluation, multiprocessor interconnection networks, shared memory systems, memory architecture, failure analysis |
10 | W. W. Wong, Juin J. Liou |
JFET circuit simulation using SPICE implemented with an improved model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(1), pp. 105-109, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Tirza Hirst, David Harel |
On the Power of Bounded Concurrency II: Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(3), pp. 540-554, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
cooperative concurrency, pushdown automata, succinctness |
10 | Uwe Nonnenmann, John K. Eddy |
Software Testing with Kitss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 8(4), pp. 25-30, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Anand Srivastav, Peter Stangier |
On Quadratic Lattice Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 4th International Symposium, ISAAC '93, Hong Kong, December 15-17, 1993, Proceedings, pp. 176-184, 1993, Springer, 3-540-57568-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 610 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|