• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 48 matches

• 2010
• 
  Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger:
  AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. Ada-Europe 2010: 208-221
• 2005
• 
  KI 2005 - Workshop-Programm. Künstliche Intell. 19(2): 75-77 (2005)
• 
  Kilian Q. Weinberger, Benjamin Packer, Lawrence K. Saul:
  Nonlinear Dimensionality Reduction by Semidefinite Programming and Kernel Matrix Factorization. AISTATS 2005: 381-388
• 
  Kan-Lin Hsiung, Seung-Jean Kim, Stephen P. Boyd:
  Power control in lognormal fading wireless channels with uptime probability specifications via robust geometric programming. ACC 2005: 3955-3959
• 
  Alexandra Kirsch, Michael Beetz:
  Combining Learning and Programming for High-Performance Robot Controllers. AMS 2005: 311-314
• 
  Kimihito Ito:
  Meme media and logic programming approach for intelligent media systems. AMT 2005: 611-616
• 
  Steven M. Gustafson, Edmund K. Burke, Natalio Krasnogor:
  On improving genetic programming for symbolic regression. Congress on Evolutionary Computation 2005: 912-919
• 
  ByungJun Min, Kang-Woon Lee, Han-Ju Lee, So-Ra Kim, Seung-Gyu Oh, Byung-Gil Jeon, Hee-Hyun Yang, Min-Kyu Kim, Sung-Hee Cho, Honsik Cheong, Chilhee Chung, Kinam Kim:
  An embedded nonvolatile FRAM with electrical fuse repair scheme and one time programming scheme for high performance smart cards. CICC 2005: 255-258
• 
  Suphan Gulpanich, Vittaya Tipsuwanporn, Taweepol Suesut, Kitti Tirasesth:
  Implementation Programmable Logic Controller for THAILAND Industries. CIMCA/IAWTIC 2005: 234-239
• 
  Lixi Zhang, Sim Kim Lau:
  Constructing university timetable using constraint satisfaction programming approach. CIMCA/IAWTIC 2005: 55-60
• 
  Kish Shen, Joachim Schimpf:
  Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. CP 2005: 622-636
• 
  Kien Ming Ng, Tung Ling Tay, Kim-Leng Poh:
  A Mathematical Programming Model For Personnel-Equipment Task Rostering. CSC 2005: 129-136
• 
  Jae-Chul Kim, Kyoung Mu Lee, Byoung-Tae Choi, Sang Uk Lee:
  A Dense Stereo Matching Using Two-Pass Dynamic Programming with Generalized Ground Control Points. CVPR (2) 2005: 1075-1082
• 
  David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev:
  High-level real-time programming in Java. EMSOFT 2005: 68-78
• 
  Kyung-Lang Park, Chang-Soon Kim, Chang-Duk Kang, Shin-Dug Kim:
  A Programmable Context Interface to Build a Context Infrastructure for Worldwide Smart Applications. EUC 2005: 795-804
• 
  Wai Shing Lau, Gang Li, Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang:
  Multi-logic-Unit Processor: A Combinational Logic Circuit Evaluation Engine for Genetic Parallel Programming. EuroGP 2005: 167-177
• 
  Gang Li, Kin-Hong Lee, Kwong-Sak Leung:
  Evolve Schema Directly Using Instruction Matrix Based Genetic Programming. EuroGP 2005: 271-280
• 
  Paraskevas Kalivas, Andreas Tsirikos, Paul Bougas, Kiamal Z. Pekmestzi:
  100% operational efficient bit-serial programmable FIR digital filters. EUSIPCO 2005: 1-4
• 
  Andreas Fidjeland, Wayne Luk:
  An Overview of High-Level Synthesis of Multiprocessors for Logic Programming. FPT 2005: 333-334
• 
  Kisung Seo, Erik D. Goodman, Ronald C. Rosenberg:
  Design of air pump system using bond graph and genetic programming method. GECCO 2005: 2215-2216
• 
  Jacques Carette, Oleg Kiselyov:
  Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274
• 
  Ann L. Fruhling, Kimberly Tyser, Gert-Jan de Vreede:
  Experiences with Extreme Programming in Telehealth: Developing and Implementing a Biosecurity Health Care Application. HICSS 2005
• 
  Lei Pan, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic:
  Mobile Pipelines: Parallelizing Left-Looking Algorithms Using Navigational Programming. HiPC 2005: 201-212
• 
  Paul Willmann, Hyong-youb Kim, Scott Rixner, Vijay S. Pai:
  An Efficient Programmable 10 Gigabit Ethernet Network Interface Card. HPCA 2005: 96-107
• 
  Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama:
  Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers. IASTED Conf. on Software Engineering 2005: 307-312
• 
  Mikalai Kisialiou, Zhi-Quan Luo:
  Performance analysis of quasi-maximum-likelihood detector based on semi-definite programming. ICASSP (3) 2005: 433-436
• 
  Jae-Gon Kim, Marc Goetschalckx:
  A Mixed Integer Programming Model for Modifying a Block Layout to Facilitate Smooth Material Flows. ICCSA (4) 2005: 322-332
• 
  Chang Ouk Kim, Yunsun Park, Jun-Geol Baek:
  Optimal Signal Control Using Adaptive Dynamic Programming. ICCSA (4) 2005: 148-160
• 
  Lei Pan, Wenhui Zhang, Arthur U. Asuncion, Ming Kin Lai, Michael B. Dillencourt, Lubomir Bic:
  Incremental Parallelization Using Navigational Programming: A Case Study. ICPP 2005: 611-620
• 
  Gregor Kiczales:
  Aspect-oriented programming. ICSE 2005: 730

skipping 18 more matches