Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2011

    List Factoring and Relative Worst Order Analysis

    Ehmsen, M. R., Kohrt, J. S. & Larsen, K. S., 2011, Eighth Workshop on Approximation and Online Algorithms. Springer, s. 118-129 12 s. (Lecture Notes in Computer Science, Bind 6534).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Matching Query Processing in High-Dimensional Space

    Ma, C., Zhou, Y., Shou, L., Dai, D. & Chen, G., 2011, Proceedings of the 20th ACM international conference on Information and knowledge management. s. 1589-1594 6 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2010

    An analysis of heuristics for vertex colouring

    Chiarandini, M. & Stuetzle, T., 2010, Experimental Algorithms: Proceedings of the 9th International Symposium, (SEA 2010). Festa, P. (red.). Springer, s. 326-337 (Lecture Notes in Computer Science, Bind 6049).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A new combinational logic minimization technique with applications to cryptology

    Boyar, J. & Peralta, R., 2010, Experimental Algorithms: 9th International Symposium. Springer, s. 178-189 (Lecture Notes in Computer Science).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Better Bounds on Online Unit Clustering

    Ehmsen, M. R. & Larsen, K. S., 2010, Twelfth Scandinavian Symposium and Workshops on Algorithm Theory. Springer, s. 371-382 12 s. (Lecture Notes in Computer Science, Bind 6139).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Lazy Abstractions for Size-Change Termination

    Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010, International Conference on Logic for Programming Artificial Intelligence and Reasoning. Fermüller, C. G. & Voronkov, A. (red.). Springer, s. 217-232 (Lecture Notes in Computer Science, Bind 6397).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Learning Decision Trees for the Analysis of Optimization Heuristics

    Chiarandini, M., 2010, Learning and Intelligent Optimization Conference. Springer, 6 s. (Lecture Notes in Computer Science; Nr. 6073).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Loops under Strategies ... Continued

    Thiemann, R., Sternagel, C., Giesl, J. & Schneider-Kamp, P., 2010, Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). Electronic Proceedings in Theoretical Computer Science, Bind 44.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimal Base Encodings for Pseudo-Boolean Constraints

    Codish, M., Fekete, Y., Fuhs, C. & Schneider-Kamp, P., 2010, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). Springer, Bind 6605. 23 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Synthesizing shortest linear straight-line programs over GF(2) using SAT

    Fuhs, C. & Schneider-Kamp, P., 2. aug. 2010, Theory and Applications of Satisfiability Testing - 13th International Conference, SAT 2010, Proceedings. s. 71-84 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 6175 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

    Schneider-Kamp, P. & Fuhs, C., 2010, Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT '10). s. 71-84

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2009

    A comparison of performance measures for online algorithms

    Boyar, J., Irani, S. & Larsen, K. S., 2009, Algorithms and Data Structures: 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings. Dehne, F., Gavrilova, M., Sack, J-R. & Toth, C. D. (red.). Springer, s. 119-130 (Lecture Notes in Computer Science, Bind 5664).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • All-I-Touch as Combination of NFC and Lifestyle

    Kneissl, F., Röttger, R., Sandner, U., Leimeister, J. M. & Krcmar, H., 2009, All-I-Touch as Combination of NFC and Lifestyle. s. 51-55

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • An automatically configured modular algorithm for post enrollment course timetabling

    Fawcett, C., Hoos, H. & Chiarandini, M., 2009, Doctoral Symposium on Engineering Stochastic Local Search Algorithms. Hutter, F. & de Oca, M. (red.). IRIDIA, Institut de Recherches Interdisciplinaires, Bind TR/IRIDIA/2009-024. s. 16-20 4 s. (IRIDIA - Technical Report Series; Nr. 24).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskning

  • Cluster-Based Rank Query over Multidimensional Data Streams

    He, D., Zhou, Y., Shou, L. & Chen, G., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Association for Computing Machinery, s. 1493-1496

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Comparing First-Fit and Next-Fit for Online Edge Coloring

    Ehmsen, M. R., Favrholdt, L. M., Kohrt, J. S. & Mihai, R., 2009, Algorithms and Computation. Hong, S-H., Nagamochi, H. & Fukunaga, T. (red.). Springer, Bind 5369. s. 89-99 11 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Environmental Monitoring 2.0

    Michel, S., Salehi, A., Luo, L., Dawes, N., Aberer, K., Barrenetxea, G., Bavay, M., Kansal, A., Kumar, K. A., Nath, S., Parlange, M., Tansley, S., van Ingen, C., Zhao, F. & Zhou, Y., 2009, Proceedings of the 25th International Conference on Data Engineering, ICDE 2009. ICDE

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition

    Gu, T., Wu, Z., Tao, X., Pung, H. K. & Lu, J., 2009, Proc. of the 7th Annual IEEE International Conference on Pervasive Computing and Communications (Percom '09), Galveston, Texas.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Finding All Sorting Tandem Duplication Random Loss Operations

    Bernt, M., Chen, M-C., Merkle, D., Wang, H-L., Chao, K-M. & Middendorf, M., 2009, Combinatorial Pattern Matching (LNCS). Springer, s. 301-313 (Lecture Notes in Computer Science; Nr. 5577).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Mining Emerging Patterns for Recognizing Activities of Multiple Users in Pervasive Computing

    Gu, T., Wu, Z., Wang, L., Tao, X. & Lu, J., 2009, In Proc. of the 6th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous '09), Toronto, Canada, July 13-16, 2009.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Online Sorted Range Reporting

    Brodal, G. S., Fagerberg, R., Greve, M. & López-Ortiz, A., 2009, Algorithms and Computation, 20th International ymposium, ISAAC. Springer, Bind 5878. s. 173-182 (Lecture Notes in Computer Science, Bind 5878).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the computation of correctly-rounded sums

    Kornerup, P., Lefevre, V., Louvet, N. & Muller, J-M., 2009, 19th IEEE Symposium onComputer Arithmetic, 2009. ARITH 2009.. IEEE, s. 155-160

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the Design of RNA Sequences for Realizing Extended Shapes

    Hellmuth, M., Merkle, D. & Middndorf, M., 2009, Proceedings of the 2009 International Joint Conference on Bioinformatics, Systems Biology and Intelligent Computing. IEEE Press, s. 167-173

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Proving Termination of Integer Term Rewriting

    Fuhs, C., Giesl, J., Plücker, M., Schneider-Kamp, P. & Falke, S., 2009, Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, 15 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • QoS-Oriented Multi-Query Scheduling over Data Streams

    Wu, J., Tan, K-L. & Zhou, Y., 2009, DASFAA 2009, 14th International Conference on Database Systems for Advanced Applications. Springer Science+Business Media, (Lecture Notes in Computer Science, Bind 5463).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Query Allocation in Wireless Sensor Networks with Multiple Base Stations

    Xiang, S., Zhou, Y., Lim, H. B. & Tan, K-L., 2009, DASFAA 2009, 14th International Conference on Database Systems for Advanced Applications. Springer Science+Business Media, (Lecture Notes in Computer Science, Bind 5463).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Scalable Delivery of Stream Query Results

    Zhou, Y., Salehi, A. & Aberer, K., 2009, Proceedings of the VLDB Endowment. VLDB, Bind 2. s. 49-60 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Sensor-based Human Activity Recognition in a Multi-user Scenario

    Wang, L., Gu, T., Tao, X. & Lu, J., 2009, In Proc. of the European Conference on Ambient Intelligence (AmI '09), Salzburg, Austria, Nov 18-21, 2009.. Tscheligi, M., de Ruyter, B., Markopoulus, P., Wichert, R., Mirlacher, T., Meschterjakov, A. & Reitberger, W. (red.). Springer

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Termination Analysis by Dependency Pair and Inductive Theorem Proving

    Swiderski, S., Parting, M., Giesl, J., Fuhs, C. & Schneider-Kamp, P., 2009, Proceedings of the 22nd International Conference on Automated Deduction (CADE '09). Schmidt, R. A. (red.). Springer, s. 322-338

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Dependency Triple Framework for Termination of Logic Programs

    Schneider-Kamp, P., Giesl, J. & Nguzen, M. T., 2009, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '09). Springer, s. 37-51

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The Influence of Dynamic Environments on Polyethism in Response Threshold Models for Social Insects

    Diwold, K., Merkle, D. & Middendorf, M., 2009, Proceedings of the 8th German Workshop on Artificial Life (GWAL). IOS Press, s. 37-48

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The influence of dynamic environments on polyethism in response threshold models for social insects

    Diwold, K., Merkle, D. & Middendorf, M., 2009, Proceedings of the 8th German Workshop on Artificial Life (GWAL). s. 37-48 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Towards Integrated and Efficient Scientific Sensor Data Processing: A Database Approach

    Wu, J., Zhou, Y., Aberer, K. & Tan, K-L., 2009, EDBT 2009, 12th International Conference on Extending Database Technology. EDBT

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2008

    A Modular Multiphase Heuristic Solver for Post Enrolment Course Timetabling

    Chiarandini, M., Fawcett, C. & Hoos, H., 2008, Proceedings of the 7th International Conference on the Practice and Theory of Automated Timetabling.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • An algorithm for inferring mitogenome rearrangements in a phylogenetic tree

    Bernt, M., Merkle, D. & Middendorf, M., 2008, RECOMB International Workshop on Comparative Genomics. s. 143-157 15 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the Shortest Linear Straight-Line Program for Computing Linear Forms

    Boyar, J., Matthews, P. & Peralta, R., 2008, Mathematical Foundations of Computer Science: 33rd International Symposium, MFCS 2008. Ochmanski, E. & Tyszkiewicz, J. (red.). s. 168-179 12 s. (Lecture Notes in Computer Science, Bind 5162).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Toward Massive Query Optimization in Large-Scale Distributed Stream Systems

    Zhou, Y., Aberer, K. & Tan, K-L., 2008, Middleware 2008: ACM/IFIP/USENIX 9th International Middleware Conference 2008 Proceedings. Springer, s. 326-345 (Lecture Notes in Computer Science; Nr. 5346).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2007

    Computing Integer Powers in Floating Point Arithmetic

    Kornerup, P., Lefevre, V. & Muller, J-M., 2007, Proceedings of the 41st Asilomar Conference on Signals, Systems and Computers. IEEE

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees

    Stissing, M., Mailund, T., Pedersen, C. N. S., Brodal, G. S. & Fagerberg, R., 2007, Proceedings of 5th Asia-Pacific Bioinformatics Conference, APBC 2007. Sankoff, D., Wang, L. & Chin, F. (red.). s. 91-100 10 s. (Advances in Bioinformatics and Computational Biology, Bind 5).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Computing the Quartet Distance Between EvolutionaryTrees of Bounded Degree

    Stissing, M., Pedersen, C. N. S., Mailund, T., Brodal, G. S. & Fagerberg, R., 2007, Proceedings of 5th Asia-Pacific Bioinformatics Conference, APBC 2007. Sankoff, D., Wang, L. & Chin, F. (red.). s. 101-110 10 s. (Advances in Bioinformatics and Computational Biology, Bind 5).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts

    Bille, P., Fagerberg, R. & Gørtz, I. L., 2007, Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007. Ma, B. & Zhang, K. (red.). s. 52-62 11 s. (Lecture Notes in Computer Science, Bind 4580).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On the expressive power of planar perfect matching and permanents of bounded treewidth matrices

    Flarup, U., Koiran, P. & Lyaudet, L., 2007, Lecture Notes in Computer Science. Bind 4835. s. 124-136 13 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimal Resilient Dynamic Dictionaries

    Brodal, G. S., Fagerberg, R., Finocchi, I., Grandoni, F., Italiano, G. F., Jørgensen, A. G., Moruz, G. & Mølhave, T., 2007, Algorithms - ESA 2007, 15th Annual European Symposium. Arge, L., Hoffmann, M. & Welzl, E. (red.). Springer Science+Business Media, s. 347-358 12 s. (Lecture Notes in Computer Science, Bind 4698).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model

    Bender, M. A., Brodal, G. S., Fagerberg, R., Jacob, R. & Vicari, E., 2007, SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallel Algorithms and Architectures. Gibbons, P. B. & Scheideler, C. (red.). Association for Computing Machinery, s. 61-70 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2006

    Concrete Multiplicative Complexity of Symmetric Functions

    Boyar, J. & Peralta, R., 2006, Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings. Bind 4162. s. 179-189 11 s. (Lecture Notes in Computer Science, Bind 4162).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • The reversal median problem, common intervals, and mitochondrial gene orders

    Bernt, M., Merkle, D. & Middendorf, M., 2006, International Symposium on Computational Life Science. s. 52-63 12 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2005

    A parallel algorithm for solving the reversal median problem

    Bernt, M., Merkle, D. & Middendorf, M., 2005, International Conference on Parallel Processing and Applied Mathematics. s. 1089-1096 8 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Dynamic decentralized packet clustering in networks

    Merkle, D., Middendorf, M. & Scheidler, A., 2005, Workshops on Applications of Evolutionary Computation. s. 574-583 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2003

    Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals

    Kornerup, P. & Muller, J-M., 2003, Proc. of RNC5, Lyon, Sept. 3-5, 2003.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • On-Line Seat Reservations via Off-Line Seating Arrangements

    Frederiksen, J. S. & Larsen, K. S., 2003, Algorithms and Data Structures, 8th International Workshop, WADS 2003. s. 174-185 12 s. (Lecture Notes in Computer Science, Bind 2748).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review