Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | In-Yee Lee, Ta-tsen Soong, Jan-Ming Ho, Ming-Jing Hwang |
Derivation and Analysis of Fragment Libraries of Protein Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 516-521, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Leivant |
Proving Termination Assertions in Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 89-98, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | François Boutin, Mountaz Hascoët |
Cluster Validity Indices for Graph Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK, pp. 376-381, 2004, IEEE Computer Society, 0-7695-2177-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cluster validity indices, partitioning, graph clustering |
10 | Caixia Gao, Enmin Feng, Zhilong Xiu |
Nonlinear impulsive system of fed batch in fermentation productive and its parameter identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 2160-2164, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Rédouane Benaini, Karim Sbata, Pierre Vincent |
A Hybrid Overlay Topology for Wide Area Multicast Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECUMN ![In: Universal Multiservice Networks: Third European Conference, ECUMN 2004, Porto, Portugal, October 25-27, 2004. Proceedings, pp. 377-385, 2004, Springer, 3-540-23551-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Enrico Pontelli, Tran Cao Son, Islam Elkabani |
Smodels with CLP?A Treatment of Aggregates in ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 356-360, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert |
Pipelining Broadcasts on Heterogeneous Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Bao-Gang Hu, Hong-Jie Xing, Yujiu Yang |
Geometric Interpretation of Nonlinear Approximation Capability for Feedforward Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I, pp. 7-13, 2004, Springer, 3-540-22841-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jen-Chieh Chiang, Jeen-Shing Wang |
A validity-guided support vector clustering algorithm for identification of optimal cluster configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (4) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 3613-3618, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Per Bjesse, Arne Borälv |
DAG-aware circuit compression for formal verification. ![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. 42-49, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Scott J. Harmon, Edwin Rodríguez, Christopher Zhong, William H. Hsu |
A Comparison of Hybrid Incremental Reuse Strategies for Reinforcement Learning in Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 706-707, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Arnon Avron, Iddo Lev |
Non-Deterministic Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada, pp. 282-287, 2004, IEEE Computer Society, 0-7695-2130-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Dörte Radke, Ulrich Möller |
Quantitative Evaluation of Established Clustering Methods for Gene Expression Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBMDA ![In: Biological and Medical Data Analysis, 5th International Symposium, ISBMDA 2004, Barcelona, Spain, November 18-19, 2004, Proceedings, pp. 399-408, 2004, Springer, 3-540-23964-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sing-Rong Li, Pinaki Mazumder, Leon O. Chua |
On the implementation of RTD based CNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 25-28, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
A System with Template Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 693-697, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Nivea de Carvalho Ferreira, Michael Fisher 0001, Wiebe van der Hoek |
Practical Reasoning for Uncertain Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 82-94, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Chun Hung Li, Zhi-Li Wu |
Spectral Energy Minimization for Semi-supervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings, pp. 13-21, 2004, Springer, 3-540-22064-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Seung Man Kim, Kwan-Heng Lee |
3D Mesh Fairing Based on Lighting and Geometric Conditions for Interactive Smooth Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS ![In: Computational and Information Science, First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings, pp. 1187-1194, 2004, Springer, 3-540-24127-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Serhiy Kosinov, Stéphane Marchand-Maillet, Thierry Pun |
Iterative Majorization Approach to the Distance-based Discriminant Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Classification - the Ubiquitous Challenge, Proceedings of the 28th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Dortmund, March 9-11, 2004, pp. 168-175, 2004, Springer, 978-3-540-25677-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Ee-Chien Chang, Mohan S. Kankanhalli, Xin Guan, Zhiyong Huang, Yinghui Wu |
Robust image authentication using content based compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 9(2), pp. 121-130, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Security, Wavelets, Watermarking, Digital signature, Signal processing |
10 | Arthur W. Apter |
Some remarks on indestructibility and Hamkins' lottery preparation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(8), pp. 717-735, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Lottery preparation, Indestructibility, Non-reflecting stationary set of ordinals |
10 | Andrzej Szymczak |
Optimized Edgebreaker encoding for large and regular triangle meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 19(4), pp. 271-278, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Context, Compression, Entropy, Mesh |
10 | Riccardo Distasi, Michele Nappi, Maurizio Tucci |
FIRE: fractal indexing with robust extensions for image databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 12(3), pp. 373-384, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Qingfeng Huang, Chenyang Lu 0001, Gruia-Catalin Roman |
Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Information Processing in Sensor Networks, Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings, pp. 442-457, 2003, Springer, 3-540-02111-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Olfa Nasraoui, Cesar Cardona Uribe, Carlos Rojas Coronel, Fabio A. González 0001 |
TECNO-STREAMS: Tracking Evolving Clusters in Noisy Data Streams with a Scalable Immune System Learning Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 19-22 December 2003, Melbourne, Florida, USA, pp. 235-242, 2003, IEEE Computer Society, 0-7695-1978-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Clayton Silva Oliveira, Emílio Del Moral Hernandez |
MLP+H: A Hybrid Neural Architecture Formed by the Interaction of Hopfield and Multi-Layer Perceptron Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Artificial Neural Nets Problem Solving Methods, 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003, Maó, Menorca, Spain, June 3-6, 2003 Proceedings, Part I, pp. 166-173, 2003, Springer, 3-540-40210-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Fabian Schwarzer, Itay Lotan |
Approximation of protein structure for fast similarity measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Sventh Annual International Conference on Computational Biology, RECOMB 2003, Berlin, Germany, April 10-13, 2003, pp. 267-276, 2003, ACM, 1-58113-635-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
approximation of structure, similarity measures, nearest-neighbor search, protein structure |
10 | Rainer Osswald, Wiebke Petersen |
A Logical Approach to Data-Driven Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 267-281, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Natasa Sladoje, Ingela Nyström, Punam K. Saha |
Measuring Perimeter and Area in Low Resolution Images Using a Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings, pp. 853-860, 2003, Springer, 3-540-40601-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fuzzy shape representation, accuracy, precision, boundary |
10 | Adem Kalinli, Seref Sagiroglu |
A New Approach Based on Recurrent Neural Networks for System Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings, pp. 568-575, 2003, Springer, 3-540-20409-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Sean L. Forman, Yading Yue |
Congressional Districting Using a TSP-Based Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 2072-2083, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Tolga Can, Yuan-Fang Wang |
CTSS: A Robust and Efficient Method for Protein Structure Alignment Based on Local Geometrical and Biological Feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 2nd IEEE Computer Society Bioinformatics Conference, CSB 2003, Stanford, CA, USA, August 11-14, 2003, pp. 169-179, 2003, IEEE Computer Society, 0-7695-2000-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | D. Rovinskiy, Kateryna Synytsya, A. Podgornov |
Quality Assessment for Collections of Learning Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 2003 IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, Greece, July 9-11, 2003, pp. 362-363, 2003, IEEE Computer Society, 0-7695-1967-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Tetsuya Uemura, Masafumi Yamamoto |
Proposal of Four-Valued MRAM based on MTJ/RTD Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 273-280, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shinobu Nagayama, Tsutomu Sasao |
Compact Representations of Logic Functions using Heterogeneous MDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 247-252, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Farid Boussaïd, Douglas Chai, Abdesselam Bouzerdoum |
On-Chip Skin Detection for Color CMOS Imagers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 357-, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Antonio J. López-Martín, Jaime Ramírez-Angulo, Ramón González Carvajal |
Low-voltage low-power wideband CMOS current conveyors based on the flipped voltage follower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 801-804, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Alan A. Stocker |
Compact integrated transconductance amplifier circuit for temporal differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 201-204, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Wiset Saksiri, Monai Krairiksh |
Lumped element model approach for the bandwidth enhancement of coupled microstrip antenna. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 581-584, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ting-Yu Lin, Yu-Chee Tseng, Keng-Ming Chang, Chun-Liang Tu |
Formation, Routing, and Maintenance Protocols for the BlueRing Scatternet of Bluetooths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 313, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Martin Styner, Kumar T. Rajamani, Lutz-Peter Nolte, Gabriel Zsemlye, Gábor Székely, Christopher J. Taylor 0001, Rhodri H. Davies |
Evaluation of 3D Correspondence Methods for Model Building. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003, Proceedings, pp. 63-75, 2003, Springer, 3-540-40560-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jeroen C. J. H. Aerts, Marjan van Herwijnen, Theodor J. Stewart |
Using Simulated Annealing and Spatial Goal Programming for Solving a Multi Site Land Use Allocation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings, pp. 448-463, 2003, Springer, 3-540-01869-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Yang Cui 0001, Kazukuni Kobara, Hideki Imai |
Compact Conversion Schemes for the Probabilistic OW-PCA Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings, pp. 269-279, 2003, Springer, 3-540-20150-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Peng Li 0001, Lawrence T. Pileggi |
NORM: compact model order reduction of weakly nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 472-477, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
RF circuit modeling, nonlinear model order reduction |
10 | Jerry Zhao, Ramesh Govindan, Deborah Estrin |
Sensor Network Tomography: monitoring wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 32(1), pp. 64, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yakov Frayman, Lipo Wang |
A dynamically-constructed fuzzy neural controller for direct model reference adaptive control of multi-input-multi-output nonlinear processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(3-4), pp. 244-253, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Feedback fuzzy neural controller, Dynamic controller structure, Direct MRAC, Cold mill thickness control |
10 | Dag Normann |
Continuity, proof systems and the theory of transfinite computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(8), pp. 765-788, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti |
Extended Faceted Taxonomies for Web Catalogs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: 3rd International Conference on Web Information Systems Engineering, WISE 2002, Singapore, December 12-14, 2002, Proceedings, pp. 192-204, 2002, IEEE Computer Society, 0-7695-1766-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Igor Rojdestvenski, Michael Cottam |
Visualizing Metabolic Networks in VRML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2002, London, England, UK, July 10-12, 2002, pp. 175-180, 2002, IEEE Computer Society, 0-7695-1656-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Hong Lu 0001, Yap-Peng Tan |
Content-based sports video analysis and modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 1198-1203, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti |
Extended Faceted Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 778-781, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Magdalena Kacprzak |
Formalization of Multiagent Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland, pp. 82-86, 2002, IEEE Computer Society, 0-7695-1730-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Enrico Bini, Giorgio C. Buttazzo |
The Space of Rate Monotonic Schedulability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), Austin, Texas, USA, December 3-5, 2002, pp. 169-178, 2002, IEEE Computer Society, 0-7695-1851-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Chi-Sheng Lin, Bin-Da Liu |
Design of a pipelined and expandable sorting architecture with simple control scheme. ![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. 217-220, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Joakim Lindblad, Ingela Nyström |
Surface Area Estimation of Digitized 3D Objects Using Local Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002, Proceedings, pp. 267-278, 2002, Springer, 3-540-43380-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
accuracy, shape analysis, rotation invariance, marching cubes, isoperimetric inequality |
10 | Kyoungju Park, Dimitris N. Metaxas, Leon Axel |
LV-RV Shape Modeling Based on a Blended Parameterized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part I, pp. 753-761, 2002, Springer, 3-540-44224-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Munaga V. N. K. Prasad, Kaushal K. Shukla, R. N. Mukherjee |
Implementation of BTTC Image Compression Algorithm Using Fuzzy Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFSS ![In: Advances in Soft Computing - AFSS 2002, 2002 AFSS International Conference on Fuzzy Systems. Calcutta, India, February 3-6, 2002, Proceedings, pp. 375-381, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jiangning Xu, Tughrul Arslan |
An EHW Architecture for Real-Time GPS Attitude Determination Based on Parallel Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 4th NASA / DoD Workshop on Evolvable Hardware (EH 2002), 15-18 July 2002, Alexandria, VA, USA, pp. 133-141, 2002, IEEE Computer Society, 0-7695-1718-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ryoji Ishikawa, Tomonori Igarashi, Takashi Hirayama, Kensuke Shimizu |
Pseudocube-based expressions to enhance testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS (2) ![In: IEEE Asia Pacific Conference on Circuits and Systems 2002, APCCAS 2002, Singapore, 16-18 December 2002, pp. 305-310, 2002, IEEE, 0-7803-7690-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Jawahar Jain, Ingo Wegener, Masahiro Fujita |
A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(11), pp. 1289-1290, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Partitioned-OBDDs, composition, OBDDs |
10 | C.-J. Richard Shi, Sheldon X.-D. Tan |
Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(7), pp. 813-827, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ming Li 0023, Tao Tang 0003 |
A Compact Fourth-Order Finite Difference Scheme for Unsteady Viscous Incompressible Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 16(1), pp. 29-45, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
streamfunction, Navier-Stokes equations, vorticity, compact scheme |
10 | Carlo Bruni, Alberto De Santis, Daniela Iacoviello, Giorgio Koch |
Modeling for edge detection problems in blurred noisy images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 10(10), pp. 1447-1453, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001 |
A General Theory of Deduction, Induction, and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 228-242, 2001, Springer, 3-540-42956-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Michael Beetz, Thorsten Belker |
Learning structured reactive navigation plans from executing MDP navigation policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 19-20, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Hans-Jürgen Bandelt |
Invited Presentation: Median Hulls as Steiner Hulls in Rectilinear and Molecular Sequence Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 27th International Workshop, WG 2001, Boltenhagen, Germany, June 14-16, 2001, Proceedings, pp. 1-7, 2001, Springer, 3-540-42707-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Kyoung-Mi Lee |
Image-Guided Telemedicine System via the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Human.Society@Internet ![In: The Human Society and the Internet - Internet Related Socio-Economic Issues, First International Conference, Human.Society@Internet 2001, Seoul, Korea, July 4-6 2001, Proceedings, pp. 323-333, 2001, Springer, 3-540-42313-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Claudio Rocchini, Paolo Cignoni, Fabio Ganovelli, Claudio Montani, Paolo Pingi, Roberto Scopigno |
Marching Intersections: An Efficient Resampling Algorithm for Surface Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2001 International Conference on Shape Modeling and Applications (SMI 2001), 7-11 May 2001, Genoa, Italy, pp. 296-305, 2001, IEEE Computer Society, 0-7695-0853-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Dengsheng Zhang, Guojun Lu |
Content-Based Shape Retrieval Using Different Shape Descriptors: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
grid, shape, CBIR, Fourier descriptors, Zernike moments, curvature scale space |
10 | Marc Cohen, Gert Cauwenberghs, Mikhail A. Vorontsov, Gary Carhart |
Focal-Plane Image and Beam Quality Sensors for Adaptive Optics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 14-16 March 2001, Salt Lake City, UT, USA, pp. 224-237, 2001, IEEE Computer Society, 0-7695-1037-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Rene Quiniou, Marie-Odile Cordier, Guy Carrault, Feng Wang |
Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001, Proceedings, pp. 220-227, 2001, Springer, 3-540-42538-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Pedro V. Sander, John M. Snyder, Steven J. Gortler, Hugues Hoppe |
Texture mapping progressive meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2001, Los Angeles, California, USA, August 12-17, 2001, pp. 409-416, 2001, ACM, 1-58113-374-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
surface flattening, texture stretch, mesh simplification, surface parametrization |
10 | Jason A. Skicewicz, Peter A. Dinda, Jennifer M. Schopf |
Multi-Resolution Resource Behaviour Queries Using Wavelets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 7-9 August 2001, San Francisco, CA, USA, pp. 395-394, 2001, IEEE Computer Society, 0-7695-1296-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Krista Lagus, Esa Alhoniemi, Harri Valpola |
Independent Variable Group Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings, pp. 203-210, 2001, Springer, 3-540-42486-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ajay Divakaran |
An Overview of MPEG-7 Motion Descriptors and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001, Proceedings, pp. 29-40, 2001, Springer, 3-540-42513-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
motion-based video indexing and summarization, motion activity, MPEG-7 |
10 | Jens-Rainer Ohm |
The MPEG-7 Visual Description Framework - Concepts, Accuracy, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001, Proceedings, pp. 2-10, 2001, Springer, 3-540-42513-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
visual descriptor, application scenario, MPEG-7 |
10 | Michael Sperber, Peter Thiemann 0001 |
Generation of LR parsers by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(2), pp. 224-264, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
functional programming, continuations, partial evaluation, parser generation, LR parsing |
10 | Jane You, Prabir Bhattacharya |
A wavelet-based coarse-to-fine image matching scheme in a parallel virtual machine environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(9), pp. 1547-1559, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alex K. Simpson, Gordon D. Plotkin |
Complete Axioms for Categorical Fixed-Point Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 30-41, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
iteration theories, fixed points, domain theory, Categorical models |
10 | Alberto L. Sangiovanni-Vincentelli |
Models of Computation and Simulation of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 5, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Matsakis, Laurent Wendling |
Orbit and Sinus Classification Based on Force Histogram Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 2451-2454, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Cecilia Di Ruberto, Andrew G. Dempster, Shahid Khan 0003, Bill Jarra |
Segmentation of Blood Images Using Morphological Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 3401-3404, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jens Mache, Virginia Mary Lo, Sharad Garg |
Job Scheduling that Minimizes Network Contention due to both Communication and I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 457-464, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, parallel I/O, job scheduling, processor allocation, interprocess communication, network contention |
10 | Shou-Kang Wei, Fay Huang, Reinhard Klette |
Classification and Characterization of Image Acquisition for 3D Scene Visualization and Reconstruction Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Multi-Image Analysis, 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12-17, 2000, Revised Papers, pp. 81-92, 2000, Springer, 3-540-42122-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Kenji Shimazaki, Hiroyuki Tsujikawa, Seijiro Kojima, Shouzou Hirano |
LEMINGS: LSI's EMI-Noise Analysis with Gate Level Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 129-136, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | David B. Leake, David C. Wilson |
Remembering Why to Remember: Performance-Guided Case-Base Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWCBR ![In: Advances in Case-Based Reasoning, 5th European Workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000, Proceedings, pp. 161-172, 2000, Springer, 3-540-67933-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Yaser Yacoob, Larry S. Davis |
Tracking Rigid Motion using a Compact-Structure Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the International Conference on Computer Vision, Kerkyra, Corfu, Greece, September 20-25, 1999, pp. 198-205, 1999, IEEE Computer Society, 0-7695-0164-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ioannis Kompatsiaris, Michael G. Strintzis |
Spatiotemporal Segmentation and Tracking of Objects for Visualization of Videoconference Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 1 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume I, pp. 709-713, 1999, IEEE Computer Society, 0-7695-0253-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
spatiotemporal image sequence segmentation, model-based image sequence analysis, VRML |
10 | Lin Zhou, Chandra Kambhamettu |
Extending Superquadrics with Exponent Functions: Modeling and Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1999 Conference on Computer Vision and Pattern Recognition (CVPR '99), 23-25 June 1999, Ft. Collins, CO, USA, pp. 2073-2078, 1999, IEEE Computer Society, 0-7695-0149-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
hyperquadrics, exponent functions, shape recovery, range data, superquadrics, 3D object modeling, 3D object reconstruction, Bezier curve |
10 | Ge Cong, Bahram Parvin |
Model Based Segmentation of Nuclei. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1999 Conference on Computer Vision and Pattern Recognition (CVPR '99), 23-25 June 1999, Ft. Collins, CO, USA, pp. 1256-1261, 1999, IEEE Computer Society, 0-7695-0149-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Nuclei Segmentation, Hyperquadrics, Grouping |
10 | Rong Lin, Kevin E. Kerr, André S. Botha |
A Novel Approach for CMOS Parallel Counter Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 25th EUROMICRO '99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy, pp. 1112-1119, 1999, IEEE Computer Society, 0-7695-0321-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parallel counter and compressor, low power high speed CMOS circuit design, VLSI design, Arithmetic circuit, partial product reduction |
10 | Robert C. Williamson, Alexander J. Smola, Bernhard Schölkopf |
Entropy Numbers, Operators and Support Vector Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroCOLT ![In: Computational Learning Theory, 4th European Conference, EuroCOLT '99, Nordkirchen, Germany, March 29-31, 1999, Proceedings, pp. 285-299, 1999, Springer, 3-540-65701-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro L. Koerich, Luan Ling Lee |
Automatic Storage, Retrieval, and Visualization of Bank Check Images. ![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. 111-114, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Maury Bramson |
State space collapse with application to heavy traffic limits for multiclass queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 30(1-2), pp. 89-148, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
heavy traffic limits, first-in first-out, queueing networks, fluid models, processor sharing |
10 | Yu-Ping Wang, Seng Luan Lee |
Scale-Space Derived From B-Splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(10), pp. 1040-1055, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
scaling theorem, fingerprint theorem, wavelet, B-spline, scale-space, Image modeling |
10 | Enrique Casanovas |
A test for expandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(4), pp. 221-234, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991): Primary 03C45, 03G50 |
10 | André Kaup, Til Aach |
Coding of segmented images using shape-independent basis functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(7), pp. 937-947, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Reinhard Pichler |
Extending Decidable Clause Classes via Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 206-220, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | John Harrison 0001 |
Formalizing Basic First Order Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 153-170, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Anna Mikhajlova, Joakim von Wright |
Proving Isomorphism of First-Order Logic Proof Systems in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 295-314, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|