Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Fabio Fassetti, Gianluigi Greco, Giorgio Terracina |
Efficient discovery of loosely structured motifs in biological data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 151-155, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exhaustive algorithms, frequent structured patterns, keyword trees |
11 | Ian J. Hayes |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 141-154, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | José Barahona da Fonseca |
From the Magic Square to the Optimization of Networks of AGVs and from MIP to an Improved GRASP like Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC ![In: 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia, pp. 181, 2006, IEEE Computer Society, 0-7695-2731-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yutaka Goto |
i-Mode Java Applications for Individual Learning of High-School and College Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 207, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Shigeru Owada, Frank Nielsen, Takeo Igarashi |
Copy-Paste Synthesis of 3D Geometry with Repetitive Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006, Proceedings, pp. 184-193, 2006, Springer, 3-540-36293-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Julien Bourdaillet, Jean-Gabriel Ganascia |
MEDITE: A Unilingual Textual Aligner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FinTAL ![In: Advances in Natural Language Processing, 5th International Conference on NLP, FinTAL 2006, Turku, Finland, August 23-25, 2006, Proceedings, pp. 458-469, 2006, Springer, 3-540-37334-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Philippe Clauss, Bénédicte Kenmei |
Polyhedral Modeling and Analysis of Memory Access Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 191-198, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Stefano Zappacosta, Stefano Nolfi, Gianluca Baldassarre |
A Testbed for Neural-Network Models Capable of Integrating Information in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ABiALS ![In: Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006], pp. 189-217, 2006, Springer, 978-3-540-74261-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Time Information Integration, Passive and Active Perception, Analysis of Internal Representations, Time Series, Signal Processing, Dynamical Systems, Testbed, Recurrent Neural Networks, Attractors, Waves |
11 | David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa |
Enumerating Non-crossing Minimally Rigid Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 205-215, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Zhixiang Chen 0001, Bin Fu, Binhai Zhu |
The Approximability of the Exemplar Breakpoint Distance Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAIM ![In: Algorithmic Aspects in Information and Management, Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings, pp. 291-302, 2006, Springer, 3-540-35157-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Moni Naor, Benny Pinkas |
Computationally Secure Oblivious Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 18(1), pp. 1-35, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Privacy preserving computation, Cryptography, Oblivious transfer, Secure function evaluation |
11 | Yu Chen 0005, Andrew B. Kahng, Gabriel Robins, Alexander Zelikovsky, Yuhong Zheng |
Compressible area fill synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(8), pp. 1169-1187, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Athena Tocatlidou, Da Ruan 0001, Spiros Th. Kaloudis, Nikos A. Lorentzos |
Uncertain Knowledge Association Through Information Gain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Data Mining ![In: Intelligent Data Mining: Techniques and Applications, pp. 123-135, 2005, Springer, 978-3-540-26256-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Luigi Palopoli 0001, Simona E. Rombo, Giorgio Terracina |
Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 504-513, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Tsuyoshi Sugibuchi, Yuzuru Tanaka |
Interactive web-wrapper construction for extracting relational information from web documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 968-969, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
user interfaces, information extraction, web wrappers |
11 | Kangmin Fan, William F. Smyth, R. J. Simpson |
A New Periodicity Lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings, pp. 257-265, 2005, Springer, 3-540-26201-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Rossano Barone, Peter C.-H. Cheng |
Structure Determines Assignment Strategies in Diagrammatic Production Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005, Proceedings, pp. 77-89, 2005, Springer, 3-540-28179-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Andrew G. Brooks, Matt Berlin, Jesse Gray |
Untethered robotic play for repetitive physical tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2005, Valencia, Spain, June 15-15, 2005, pp. 27-34, 2005, ACM, 1-59593-110-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Lavy Libman |
Retransmission Strategies for Wireless Connections with Resource-Limited Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2005), 22-24 August 2005, Lake Buena Vista, FL, USA, pp. 36, 2005, IEEE Computer Society, 0-7695-2423-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Dragomir Yankov, Eamonn J. Keogh, Stefano Lonardi, Ada Wai-Chee Fu |
Dot Plots for Time Series Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 159-168, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Yusuke Naito 0001, Yu Sasaki, Noboru Kunihiro, Kazuo Ohta |
Improved Collision Attack on MD4 with Probability Almost 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers, pp. 129-145, 2005, Springer, 3-540-33354-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Leena Ikonen |
Pixel Queue Algorithm for Geodesic Distance Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005, Proceedings, pp. 228-239, 2005, Springer, 3-540-25513-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Snorre Farner, Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad |
Timbre Variations as an Attribute of Naturalness in Clarinet Play. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval, Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers, pp. 45-53, 2005, Springer, 3-540-34027-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Xavier Naturel, Patrick Gros |
A fast shot matching strategy for detecting duplicate sequences in a television stream. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVDB ![In: Proceedings of the Second International Workshop on Computer Vision meets Databases, CVDB 2005, June 17, 2005, Baltimore, MD, USA, pp. 21-27, 2005, ACM, 1-59593-151-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek |
Beyond templates: a study of clones in the STL and some general implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 451-459, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
software maintenance, clones, meta-programming |
11 | Olivier Lartillot |
Efficient Extraction of Closed Motivic Patterns in Multi-Dimensional Symbolic Representations of Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, pp. 229-235, 2005, IEEE Computer Society, 0-7695-2415-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Giorgio Busatto, Markus Lohrey, Sebastian Maneth |
Efficient Memory Representation of XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers, pp. 199-216, 2005, Springer, 3-540-30951-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Jiong Yang 0001, Wei Wang 0010, Philip S. Yu |
Mining Surprising Periodic Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 9(2), pp. 189-216, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
statistical significant patterns, sequential patterns |
11 | Jiong Yang 0001, Wei Wang 0010, Philip S. Yu |
Discovering High-Order Periodic Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 6(3), pp. 243-268, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Asynchronous pattern, Meta-pattern, Data mining, Frequent pattern, Periodic pattern |
11 | Giovanni Manzini, Paolo Ferragina |
Engineering a Lightweight Suffix Array Construction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 40(1), pp. 33-50, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Space-economical algorithms, Full-text index, Suffix tree, Suffix array, Algorithmic engineering |
11 | Chung-Hsien Wu, Gwo-Lang Yan |
Acoustic Feature Analysis and Discriminative Modeling of Filled Pauses for Spontaneous Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 36(2-3), pp. 91-104, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
filled pause, disfluency, Guassian mixture model, Karhunen-Loéve transform, speech recognition, linear discriminant analysis |
11 | C. J. B. Macnab, Gabriele M. T. D'Eleuterio, Max Q.-H. Meng |
CMAC Adaptive Control of Flexible-joint Robots using Backstepping with Tuning Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 2679-2686, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Simona E. Rombo, Giorgio Terracina |
Discovering Representative Models in Large Time Series Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings, pp. 84-97, 2004, Springer, 3-540-22160-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Time Series, Frequent Pattern Discovery |
11 | Colin R. Reeves, Mériéma Aupetit-Bélaidouni |
Estimating the Number of Solutions for SAT Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 101-110, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Shintaro Yoshida, Tomoaki Ohtsuki |
Performance evaluation of adaptive internally turbo coded ultra wideband-impulse radio (AITC-UWB-IR) in multipath channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall (2) ![In: Proceedings of the 60th IEEE Vehicular Technology Conference, VTC Fall 2004, 26-29 September 2004, Los Angeles, CA, USA, pp. 1179-1183, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Leininger, Michael Gössel, Peter Muhmenthaler |
Diagnosis of Scan-Chains by Use of a Configurable Signature Register and Error-Correcting Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 1302-1309, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak |
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 20-24 March 2004, San Jose, CA, USA, pp. 137-150, 2004, IEEE Computer Society, 0-7695-2102-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Mirko Sattler, Ralf Sarlette, Reinhard Klein |
Probabilistic Motion Sequence Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: 2004 Computer Graphics International (CGI 2004), 16-19 June 2004, Crete, Greece, pp. 514-517, 2004, IEEE Computer Society, 0-7695-2171-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Pinar Duygulu, Jia-Yu Pan, David A. Forsyth |
Towards auto-documentary: tracking the evolution of news stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 12th ACM International Conference on Multimedia, New York, NY, USA, October 10-16, 2004, pp. 820-827, 2004, ACM, 1-58113-893-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
auto-documentary, duplicate sequences, graph-based multi-modal topic discovery, matching logos, news video analysis |
11 | Kuo-Yu Huang, Chia-Hui Chang |
Mining Periodic Patterns in Sequence Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings, pp. 401-410, 2004, Springer, 3-540-22937-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Lie Lu, Muyuan Wang, HongJiang Zhang |
Repeating pattern discovery and structure analysis from acoustic music data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 6th ACM SIGMM International Workshop on Multimedia Information Retrieval, MIR 2004, October 15-16, 2004, New York, NY, USA, pp. 275-282, 2004, ACM, 1-58113-940-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CQT, structure-based distance measure, repeating pattern, music structure |
11 | Thierry Boy de la Tour, Mnacho Echenim |
Overlapping Leaf Permutative Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 430-444, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Donald A. Adjeroh, Jianan Feng |
Locating All Tandem Repeat Families in a Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 676-681, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Ali Karci |
Novelty in the Generation of Initial Population for Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 268-275, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Genetic Algorithms, Optimization, Initial Population |
11 | Hadas Shachnai, Oded Shmueli, Robert Sayegh |
Approximation Schemes for Deal Splitting and Covering Integer Programs with Multiplicity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers, pp. 111-125, 2004, Springer, 3-540-24574-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Omega-Regular Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 561-575, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Daryl H. Hepting, David Gerhard |
Collaborative Computer-Aided Parameter Exploration for Music and Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval: Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers, pp. 158-172, 2004, Springer, 3-540-24458-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Michael D. Powell, T. N. Vijaykumar |
Exploiting Resonant Behavior to Reduce Inductive Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 31st International Symposium on Computer Architecture (ISCA 2004), 19-23 June 2004, Munich, Germany, pp. 288-301, 2004, IEEE Computer Society, 0-7695-2143-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Alberto Momigliano, Frank Pfenning |
Higher-order pattern complement and the strict lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(4), pp. 493-529, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
higher-order patterns, strict ?-calculus, Complement |
11 | Jiong Yang 0001, Wei Wang 0010, Philip S. Yu |
Mining Asynchronous Periodic Patterns in Time Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(3), pp. 613-628, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Asynchronous periodic pattern, segment-based approach, partial periodicity |
11 | Vijaya Krishnamoorthy, Simon R. Goodman, Vladimir M. Zatsiorsky, Mark L. Latash |
Muscle synergies during shifts of the center of pressure by standing persons: identification of muscle modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 89(2), pp. 152-161, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Wei Chai, Barry Vercoe |
Structural Analysis of Musical Signals for Indexing and Thumbnailing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE 2003 Joint Conference on Digital Libraries (JCDL 2003), 27-31 May 2003, Houston, Texas, USA, Proceedings, pp. 27-, 2003, IEEE Computer Society, 0-7695-1939-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Margarita Valor, Francisco Albert, José María Gomis, Manuel Contero |
Textile and Tile Pattern Design Automatic Cataloguing Using Detection of the Plane Symmetry Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: 2003 Computer Graphics International (CGI 2003), 9-11 July 2003, Tokyo, Japan, pp. 112-119, 2003, IEEE Computer Society, 0-7695-1946-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Sung-Bae Cho, Frank E. Pollick |
Toward Person Authentication with Point Light Display Using Neural Network Ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVBPA ![In: Audio-and Video-Based Biometrie Person Authentication, 4th International Conference, AVBPA 2003, Guildford, UK, June 9-11, 2003 Proceedings, pp. 878-885, 2003, Springer, 3-540-40302-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Ioan Tabus, Gergely Korodi, Jorma Rissanen |
DNA sequence compression using the normalized maximum likelihood model for discrete regression . ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2003 Data Compression Conference (DCC 2003), 25-27 March 2003, Snowbird, UT, USA, pp. 253-262, 2003, IEEE Computer Society, 0-7695-1896-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Dennis F. Galletta, Alexandra Durcikova, Andrea Everard, Brian M. Jones |
Cognitive Fit and an Intelligent Agent for a Word Processor: Should Users Take All That Advice? ![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. 41, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Paolo Terenziani, Luca Anselma |
Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 37-46, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Margarita Valor, Francisco Albert, José María Gomis, Manuel Contero |
Analysis Tool for Cataloguing Textile and Tile Pattern Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 569-578, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Brice Effantin |
Generation of Valid Labeled Binary Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I, pp. 245-253, 2003, Springer, 3-540-40155-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Luis Álvarez, Karina Baños, Carmelo Cuenca, Julio Esclarín, Javier Sánchez Pérez |
3D Reconstruction from a Vascular Tree Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers, pp. 616-626, 2003, Springer, 3-540-20221-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jochen Könemann, R. Ravi 0001 |
Primal-dual meets local search: approximating MST's with nonuniform degree bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA, pp. 389-395, 2003, ACM, 1-58113-674-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
degree-bounded spanning trees, approximation algorithms, spanning trees, network algorithms, bicriteria approximation |
11 | Jana Klecková |
Speech Production: Phonetic Encoding of Real and Non-words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 6th International Conference, TSD 2003, Ceské Budejovice, Czech Republic, September 8-12, 2003, Proceedings, pp. 281-286, 2003, Springer, 3-540-20024-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
phonetic and phonological representation, direct and indirect route, recognition system, Spontaneous speech |
11 | Sujoe Bose, Leonidas Fegaras, David Levine, Vamsi Chaluvadi |
A Query Algebra for Fragmented XML Stream Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers, pp. 195-215, 2003, Springer, 3-540-20896-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Gemma Sánchez, Josep Lladós 0001 |
Syntactic Models to Represent Perceptually Regular Repetitive Patterns in Graphic Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition, Recent Advances and Perspectives, 5th InternationalWorkshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected Papers, pp. 166-175, 2003, Springer, 3-540-22478-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Katinka Wolter, Kristian Kasprowicz |
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings, pp. 47-62, 2003, Springer, 3-540-40814-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Uriel Feige, Oleg Verbitsky 0001 |
Error Reduction by Parallel Repetition - A Negative Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 22(4), pp. 461-478, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Uwe Schöning |
A Probabilistic Algorithm for k -SAT Based on Limited Local Search and Restart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 32(4), pp. 615-623, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
NP-completeness, Satisfiability problem |
11 | Ian J. Hayes |
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 44-58, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Luigi Palopoli 0001, Giorgio Terracina |
Discovering Frequent Structured Patterns from String Databases: An Application to Biological Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 34-46, 2002, Springer, 3-540-00188-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Frantisek Franek, Jiandong Jiang, Weilin Lu, William F. Smyth |
Two-Pattern Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 13th Annual Symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002, Proceedings, pp. 76-84, 2002, Springer, 3-540-43862-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Chih-Cheng Hung, Shisong Yang, Charles M. Laymon |
Use of Characteristic Views in Image Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 949-952, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Lei Chen 0004, Mary P. Harper, Francis K. H. Quek |
Gesture Patterns during Speech Repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: 4th IEEE International Conference on Multimodal Interfaces (ICMI 2002), 14-16 October 2002, Pittsburgh, PA, USA, pp. 155-160, 2002, IEEE Computer Society, 0-7695-1834-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Dimitris Fotakis 0001, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis |
Radiocolorings in Periodic Planar Graphs: PSPACE-Completeness and Efficient Approximations for the Optimal Range of Frequencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers, pp. 223-234, 2002, Springer, 3-540-00331-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Xaro Benavent, Francisco Vegara, Juan Domingo, Guillermo Ayala |
On the Use of Longitudinal Data Techniques for Modeling the Behavior of a Complex System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part I, pp. 458-467, 2002, Springer, 3-540-43591-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Evgenia Dimitriadou, Andreas Weingessel, Kurt Hornik |
A Combination Scheme for Fuzzy Clustering. ![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. 332-338, 2002, Springer, 3-540-43150-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Gancho Vachkov, Toshio Fukuda |
Structured Learning and Decomposition of Fuzzy Models for Robotic Control Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 32(1), pp. 1-21, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
decomposition, robotic control, fuzzy modeling, structured learning, fuzzy identification |
11 | Julián Dorado, Antonino Santos, Juan R. Rabuñal, Nieves Pedreira, Alejandro Pazos |
Hybrid Two-Population Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 464-470, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Sanjay Jain 0001, Frank Stephan 0001 |
Learning How to Separate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 219-234, 2001, Springer, 3-540-42875-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jiong Yang 0001, Wei Wang 0010, Philip S. Yu |
Infominer: mining surprising periodic patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, San Francisco, CA, USA, August 26-29, 2001, pp. 395-400, 2001, ACM, 1-58113-391-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Brian Sierkowski, Carol Rhodes, William Goveia |
Creating usable simplicity in a text-based "quick help" website. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 29th Annual ACM SIGUCCS Conference on User Services 2001, Portland, Oregon, USA, October 17-20, 2001, pp. 264-265, 2001, ACM, 1-58113-382-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
usability, information technology, web site, redesign |
11 | Ismail H. Toroslu, Murat Kantarcioglu |
Mining Cyclically Repeated Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, Third International Conference, DaWaK 2001, Munich, Germany, September 5-7, 2001, Proceedings, pp. 83-92, 2001, Springer, 3-540-42553-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Alexey Zalesny, Luc Van Gool |
Multiview Texture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 615-622, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Zbigniew Kokosinski |
On Parallel Generation of t-Ary Trees in an Associative Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 228-235, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Sara Dolnicar, Friedrich Leisch |
Behavioral Market Segmentation of Binary Guest Survey Data with Bagged Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings, pp. 111-118, 2001, Springer, 3-540-42486-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Regimantas Pliuskevicius |
On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 523-537, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Martin Hirt, Kazue Sako |
Efficient Receipt-Free Voting Based on Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, Proceeding, pp. 539-556, 2000, Springer, 3-540-67517-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Marlon Núñez |
Learning Patterns of Behavior by Observing System Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings, pp. 323-330, 2000, Springer, 3-540-67602-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Kwame Osei Boateng, Hiroshi Takahashi, Yuzo Takamatsu |
General BIST-Amenable Method of Test Generation for Iterative Logic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 171-178, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fixed-coverage fixed-size test set, test generation, BIST, iterative logic arrays |
11 | Gokul V. Subramaniam |
Object model resurrection - an object oriented maintenance activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 324-333, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
class reengineering, object oriented reengineering/maintenance/metrics, process models |
11 | Yevgeniy Dodis, Shai Halevi, Tal Rabin |
A Cryptographic Solution to a Game Theoretic Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings, pp. 112-130, 2000, Springer, 3-540-67907-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Strahil Ristov, Éric Laporte 0001 |
Ziv Lempel Compression of Huge Natural Language Data Tries Using Suffix Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999, Proceedings, pp. 196-211, 1999, Springer, 3-540-66278-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Thorsten Altenkirch, Bernhard Reus |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 453-468, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
inductive types, Type Theory, category theory, ?-calculus |
11 | Amanda C. Jobbins, Lindsay J. Evett |
Segmenting Documents using Multiple Lexical Features. ![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. 721-724, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Asawaree Kalavade, P. A. Subrahmanyam |
Hardware/software partitioning for multifunction systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(9), pp. 819-837, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Gabriel Taubin, Jarek Rossignac |
Geometric Compression Through Topological Surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 17(2), pp. 84-115, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
3D mesh compression, VRML, geometry compression |
11 | John Thornton 0001, Abdul Sattar 0001 |
Dynamic Constraint Weighting for Over-Constrained Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'98, Topics in Artificial Intelligence, 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998, Proceedings, pp. 377-388, 1998, Springer, 3-540-65271-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Sergey N. Stepanov |
Generalized model with repeated calls in case of extreme load. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 27(1-2), pp. 131-151, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
repeated calls models, heavy traffic analysis, recurrence formulas, asymptotic expansions |
11 | Mihir Bellare, Russell Impagliazzo, Moni Naor |
Does Parallel Repetition Lower the Error in Computationally Sound Protocols? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 374-383, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Eric Ruppert |
Finding the k Shortest Paths in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 475-486, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Topics parallel algorithms, data structures |
11 | Tomás Lang, Elisardo Antelo |
CORDIC-based computation of arccos and arcsin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, pp. 132-143, 1997, IEEE Computer Society, 0-8186-7958-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|