Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Lawrence E. Gales |
Structured FORTRAN with no preprocessor. |
ACM SIGPLAN Notices |
1975 |
DBLP DOI BibTeX RDF |
|
19 | Brian W. Kernighan |
RATFOR-A Preprocessor for a Rational Fortran. |
Softw. Pract. Exp. |
1975 |
DBLP DOI BibTeX RDF |
|
19 | B. M. Schwartz |
Design and implementation of PL/I preprocessor-based systems. |
ACM SIGPLAN Notices |
1972 |
DBLP DOI BibTeX RDF |
|
19 | Robert F. Sterbenz |
Tabsol decision table preprocessor. |
ACM SIGPLAN Notices |
1971 |
DBLP DOI BibTeX RDF |
|
19 | Michael F. Weisbard |
Detap/55: a decision table preprocessor for generating single-paragraph, fully-nested Cobol code. |
ACM SIGPLAN Notices |
1971 |
DBLP DOI BibTeX RDF |
|
19 | David B. Loveman, John A. Moyne, Robert G. Tobey |
CUE: A Preprocessor for Restricted, Natural English. |
SIGIR |
1971 |
DBLP DOI BibTeX RDF |
|
19 | James E. Vander Mey, Robert C. Varney, Robert E. Patchen |
SYMPLE: a general syntax directed macro preprocessor. |
AFIPS Fall Joint Computing Conference |
1969 |
DBLP DOI BibTeX RDF |
|
19 | M. R. Hartz |
Optimizing a Video Preprocessor for OCR. |
IJCAI |
1969 |
DBLP BibTeX RDF |
|
19 | F. R. A. Hopgood, A. G. Bell |
The Atlas ALGOL Preprocessor for Non-Standard Dialects. |
Comput. J. |
1967 |
DBLP DOI BibTeX RDF |
|
11 | Sunyoung Kim, Masakazu Kojima, Philippe L. Toint |
Recognizing underlying sparsity in optimization. |
Math. Program. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C30, 65K05, 90C22 |
11 | Mark R. P. Thomas, Patrick A. Naylor |
The SIGMA Algorithm: A Glottal Activity Detector for Electroglottographic Signals. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Marc Delcroix, Tomohiro Nakatani, Shinji Watanabe 0001 |
Static and Dynamic Variance Compensation for Recognition of Reverberant Speech With Dereverberation Preprocessing. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Baris Aktemur, Sam Kamin |
A comparative study of techniques to write customizable libraries. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
library specialization, program generation, feature-oriented programming |
11 | Nisachol Chamnongsri, Lampang Manmart, Vilas Wuwongse |
Implementation and evaluation of palm leaf manuscript metadata schema (PLMM). |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
metadata schema, palm leaf manuscript, cultural heritage |
11 | Kumaresh Singh, Paul Eller, Adrian Sandu, Daven Henze, Kevin W. Bowman, Monika Kopacz, Meemong Lee |
Towards the construction of a standard adjoint GEOS-Chem model. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
global chemistry and transport, data assimilation, adjoints, inverse modeling |
11 | M. Zubair Shafiq, S. Momina Tabish, Fauzan Mirza, Muddassar Farooq |
PE-Miner: Mining Structural Information to Detect Malicious Executables in Realtime. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
Malicious Executable Detection, Portable Executables, Data Mining, Malware Detection, Structural Information |
11 | Eduardo Carrillo Zambrano, Alexander Aristizábal Peñaloza |
Artificial vision to assure coffee-Excelso beans quality. |
EATIS |
2009 |
DBLP DOI BibTeX RDF |
Mahalonobis, ajuste de elipse, image processing, image segmentation, flood |
11 | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
The architecture of the Utrecht Haskell compiler. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
compiler architecture, haskell, attribute grammar, aspect orientation |
11 | Luca Pulina, Armando Tacchella |
Hard QBF Encodings Made Easy: Dream or Reality? |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
11 | David F. Brailsford |
Automated re-typesetting, indexing and contentenhancement for scanned marriage registers. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
GEDCOM, hyper-linking, re-typesetting, troff, indexing, OCR, genealogy |
11 | Kiran H. Shivanna, Nicole M. Grosland, M. E. Russell, D. R. Pedersen |
Diarthrodial joint contact models: finite element model development of the human hip. |
Eng. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Patient-specific models, Hip joint, Finite element |
11 | Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi |
Error Detection Enhancement in PowerPC Architecture-based Embedded Processors. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking |
11 | Marco Masseroli, Mario Marchente |
X-PAT: A Multiplatform Patient Referral Data Management System for Small Healthcare Institution Requirements. |
IEEE Trans. Inf. Technol. Biomed. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Volodya Grancharov, Jan H. Plasberg, Jonas Samuelsson, W. Bastiaan Kleijn |
Generalized Postfilter for Speech Quality Enhancement. |
IEEE Trans. Speech Audio Process. |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Isabelle Jars, Franck Panaget |
Improving Spoken Language Understanding with information retrieval and active learning methods. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Panagiotis Afratis, Euripides Sotiriades, Grigorios Chrysos 0001, Sotiria Fytraki, Dionisios N. Pnevmatikatos |
A rate-based prefiltering approach to blast acceleration. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Supasit Monpratarnchai, Tetsuo Tamai |
The Implementation and Execution Framework of a Role Model Based Language, EpsilonJ. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Collaboration, Adaptation, Object, Role |
11 | Benoit Gosselin, Mohamad Sawan |
An ultra low-power CMOS action potential detector. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Guojun Zhang |
An Improved Hypertension Prediction Model Based on RS and SVM in the Three Gorges Area. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Tao Zhang |
Ansys Second Development Method and Application in Transient Thermal Simulation. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Fei Yuan, Yue Chen, Husheng Liao |
XQC: A Compiler for XQuery. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana |
Applying Ontology Design Patterns in Bio-ontologies. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Diomidis Spinellis |
A tale of four kernels. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
opensolaris, proprietary software, wrk, open source, linux, comparison, freebsd |
11 | Jihong Liu, Weina Ma, Soo-Young Lee |
A Segmentation Method Based on Dynamic Programming for Breast Mass in MRI Images. |
ICMB |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Jian-guo Zhou, Tao Bai, Ji-ming Tian |
The Integrated Methodology of KPCA and Wavelet Support Vector Machine for Predicting Financial Distress. |
ADMA |
2008 |
DBLP DOI BibTeX RDF |
Financial Distress, Wavelet Support Vector Machine, Kernel Principal Component Analysis |
11 | Rafael Ruiz-Sautua, María C. Molina, Jose Manuel Mendias |
Exploiting Bit-Level Delay Calculations to Soften Read-After-Write Dependences in Behavioral Synthesis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Douglas P. Gregor, Jaakko Järvi |
Variadic templates for C++. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
template metaprogramming, variadic arguments, parametric polymorphism, C++ templates |
11 | Pradeep Varma |
Generalizing recognition of an individual dialect in program analysis and transformation. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
commutative transforms, dialect recognition, location anchors, map, corrections, errors, merging |
11 | Sudhir G. Akojwar, Rajendra M. Patrikar |
Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks. |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II |
11 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with c++ templates. |
GPCE |
2007 |
DBLP DOI BibTeX RDF |
structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages |
11 | Mario Ignacio Chacon Murguia, Alejandro S. Zimmerman, Pablo Rivas P. |
Image Processing Applications with a PCNN. |
ISNN (3) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Hung-Hsu Tsai |
Decision-Based Hybrid Image Watermarking in Wavelet Domain Using HVS and Neural Networks. |
ISNN (3) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Jeremy Yallop |
Practical generic programming in OCaml. |
ML |
2007 |
DBLP DOI BibTeX RDF |
generic programming, deriving, OCaml |
11 | Dirk Colbry, George C. Stockman |
Canonical Face Depth Map: A Robust 3D Representation for Face Verification. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Xiaowen Li, Xiang Xie, Xinkai Chen, Guolin Li, Li Zhang 0023, Zhihua Wang 0001, Hong Chen 0002 |
Design and Implementation of a Low Complexity Near-lossless Image Compression Method for Wireless Endoscopy Capsule System. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Peter Luethi, Andreas Burg, Simon Haene, David Perels, Norbert Felber, Wolfgang Fichtner |
VLSI Implementation of a High-Speed Iterative Sorted MMSE QR Decomposition. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | William C. Benton, Charles N. Fischer |
Interactive, scalable, declarative program analysis: from prototype to implementation. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
tabled prolog, java, logic programming, prototyping, program analysis, bytecodes |
11 | Jennifer Baldwin, Yvonne Coady |
Adaptive Systems Require Adaptive Support--When Tools Attack! |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Lin Shang 0001, Shaoyue Yu, Xiuyi Jia, Yangsheng Ji |
ROGAND: A Discretization Model. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Victor S. Sheng, Charles X. Ling |
Roulette Sampling for Cost-Sensitive Learning. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
data mining, machine learning, classification, decision trees, cost-sensitive learning, meta-learning |
11 | Kazuya Haraguchi, Hiroshi Nagamochi |
Extension of ICF Classifiers to Real World Data Sets. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
iteratively composed features, machine learning, classification, discretization |
11 | Kenneth E. Hild II, Deniz Erdogmus, Kari Torkkola, José C. Príncipe |
Feature Extraction Using Information-Theoretic Learning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
classification, Feature extraction, information theory, nonparametric statistics |
11 | Joon-Hyuk Chang, Nam Soo Kim |
A new structural approach in system identification with generalized analysis-by-synthesis for robust speech coding. |
IEEE Trans. Speech Audio Process. |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Christian Buckl, Alois C. Knoll, Gerhard Schrott |
Model-Based Development of Fault-Tolerant Embedded Software. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Farn Wang |
REDLIB for the Formal Verification of Embedded Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Gerhard W. Zumbusch |
Data Parallel Iterators for Hierarchical Grid and Tree Algorithms. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ying Guo, Tianshuang Qiu |
Robust Multiuser Detection Method Based on Neural-net Preprocessing in Impulsive Noise Environment. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Alex K. Jones, Raymond R. Hoare, Swapna R. Dontharaju, Shen Chih Tung, Ralph Sprang, Joshua Fazekas, James T. Cain, Marlin H. Mickle |
A Field Programmable RFID Tag and Associated Design Flow. |
FCCM |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Rafal Kapela, Andrzej Rybarczyk |
The Neighboring Pixel Representation for Efficient Binary Image Processing Operations. |
PARELEC |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Philipp Miehe, Adrian Sandu |
Forward, Tangent Linear, and Adjoint Runge-Kutta Methods in KPP-2.2. |
International Conference on Computational Science (3) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Ruofeng Tong 0001, Shenghui Liao, Jinxiang Dong |
Optimization Technique and FE Simulation for Lag Screw Placement in Anterior Column of the Acetabulum. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Sean W. Mulvenon, Kening Wang |
Integration of GIS and educational achievement data for education policy analysis and decision-making. |
DG.O |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Boyun Zhang, Jianping Yin, Jingbo Hao |
Using RS and SVM to Detect New Malicious Executable Codes. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
support vector machine, Rough set, malicious code |
11 | Richard Carlsson, Mickaël Rémond |
EUnit: a lightweight unit testing framework for Erlang. |
Erlang Workshop |
2006 |
DBLP DOI BibTeX RDF |
frameworks, unit testing, Erlang, agile methods |
11 | Koji Kagawa |
Polymorphic variants in Haskell. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
polymorphic variants, Haskell, extensibility, type classes |
11 | Tao Xie 0001, Jian Pei |
MAPO: mining API usages from open source repositories. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
program comprehension, application programming interfaces, mining software repositories |
11 | James Macnicol, John F. Arnold, Michael R. Frater |
Scalable video coding by stream morphing. |
IEEE Trans. Circuits Syst. Video Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Richard Pon, Maxim A. Batalin, Jason Gordon, Aman Kansal, Duo Liu, Mohammad H. Rahimi, Lisa Shirachi, Yan Yu, Mark H. Hansen, William J. Kaiser, Mani B. Srivastava, Gaurav S. Sukhatme, Deborah Estrin |
Networked infomechanical systems: a mobile embedded networked sensor platform. |
IPSN |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Bin Cui 0001, Anirban Mondal, Jialie Shen 0001, Gao Cong, Kian-Lee Tan |
On Effective E-mail Classification via Neural Networks. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Chang-Woo Lee, Keechul Jung |
NMF-Based Approach to Font Classification of Printed English Alphabets for Document Image Understanding. |
MDAI |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Celina Gibbs, Chunjian Robin Liu, Yvonne Coady |
Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Steffen Priebe |
Preprocessing Eden with Template Haskell. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi |
A Software-Based Concurrent Error Detection Technique for PowerPC Processor-based Embedded Systems. |
DFT |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Han Bei Bei Cindy, Narendra S. Chaudhari, Jagdish Chandra Patra |
Design of a Virtual Shopping Mall: Some Observations. |
CW |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han |
Adaptive execution techniques for SMT multiprocessor architectures. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
simultaneous multi-threading, compilers, performance estimation, performance counters, adaptive execution |
11 | Michael Attig, John W. Lockwood |
SIFT: Snort Intrusion Filter for TCP. |
Hot Interconnects |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Xiaokang Yang, Weisi Lin, Zhongkang Lu, Ee Ping Ong, Susu Yao |
Perceptually-adaptive pre-processing for motion-compensated residue in video coding. |
ICIP |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jaehyung Yang |
Phrase Chunking for Efficient Parsing in Machine Translation System. |
MICAI |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Matthew Rosing, Jarek Nieplocha, Steve Yabusaki |
Toward Efficient Compilation of User-Defined Extensible Fortran Directives. |
HIPS |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Jan Christiansen, Frank Huch |
Searching for deadlocks while debugging concurrent haskell programs. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
concurrent haskell, detecting deadlocks, debugging, deadlock |
11 | Niklas Broberg, Andreas Farre, Josef Svenningsson |
Regular expression patterns. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
pattern matching, haskell, regular expressions |
11 | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Experiments in abstract interpretation-based code certification for pervasive systems. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Chien-Sing Lee, Yashwant Prasad Singh |
Student Modeling Using Principal Component Analysis of SOM Clusters. |
ICALT |
2004 |
DBLP DOI BibTeX RDF |
adaptive hypermedia learning systems, principal component analysis, SOM, student modeling |
11 | James R. Ezick |
An optimizing compiler for batches of temporal logic formulas. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, optimizing compiler |
11 | François Toussenel |
Ambiguous Supertagging Using a Feature Structure. |
TSD |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Daniel S. Bogaard, Ronald P. Vullo, Christopher D. Cascioli |
SVG for educational simulations. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
instructional software, simulations, animation, scalable vector graphics |
11 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey |
A Generic Framework for Context-Sensitive Analysis of Modular Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Germán Puebla, Manuel V. Hermenegildo |
Abstract specialization and its applications. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization |
11 | Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray |
Low-Cost On-Line Fault Detection Using Control Flow Assertions. |
IOLTS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Alejandra Garrido 0001, Ralph E. Johnson |
Refactoring C with Conditional Compilation. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Gabriele Kodydek, Martin Schönhacker |
Si3Trenn and Si3Silb: Using the SiSiSi Word Analysis System Pre-hyphenation and Syllable Counting in German Documents. |
TSD |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jun-il Sohn, Minho Lee |
Selective Noise Cancellation Using Independent Component Analysis. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Marie Favre |
CPP Denotational Semantics. |
SCAM |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Chang-Woo Lee, Hyun Kang, Keechul Jung, Hang Joon Kim |
Font Classification Using NMF. |
CAIP |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Alan Mishchenko, Tsutomu Sasao |
Large-scale SOP minimization using decomposition and functional properties. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy |