Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Hui Luo, Wei Hao, David H. Foos, Craig W. Cornelius |
Automatic Image Hanging Protocol for Chest Radiographs in PACS. |
IEEE Trans. Inf. Technol. Biomed. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz |
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alexandros G. Dimakis, Anand D. Sarwate, Martin J. Wainwright |
Geographic gossip: efficient aggregation for sensor networks. |
IPSN |
2006 |
DBLP DOI BibTeX RDF |
distributed aggregation, sensor networks, random geometric graphs, distributed consensus, gossip algorithms |
10 | Babak Salamat, Amirali Baniasadi, Kaveh Jokar Deris |
Area-Aware Optimizations for Resource Contrained Branch Predictors Exploited in Embedded Processors. |
ICSAMOS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zhewei Jiang, Cheng Luo, Wen-Chi Hou |
An efficient one-phase holistic twig join algorithm for XML data. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
XML, query optimization, twig query |
10 | Zhaohui Gan, Min Jiang |
Articulated Body Tracking by Immune Particle Filter. |
SEAL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jun Rao, Hamid Pirahesh, C. Mohan 0001, Guy M. Lohman |
Compiled Query Execution Engine using JVM. |
ICDE |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini |
Adapting virtual machine techniques for seamless aspect support. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
envelope-based weaving, virtual machine support, aspect-oriented programming, aspect weaving, dynamic deployment |
10 | Kaveh Jokar Deris, Amirali Baniasadi |
Branchless cycle prediction for embedded processors. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
low-power design, embedded processors, branch target buffer, power-aware architectures |
10 | Bernd Laquai, Martin Hua, Guido Schulze, Michael Braun |
A Flexible and Scaleable Methodology for Testing High Speed Source Synchronous Interfaces on ATE with Multiple Fixed Phase Capture and Compare. |
ETS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Aiyuan Ji, Roy George |
A nearest neighbor approach to letter recognition. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Weizhao Wang, Xiang-Yang Li 0001, Stephan J. Eidenbenz, Yu Wang 0003 |
OURS: optimal unicast routing systems in non-cooperative wireless networks. |
MobiCom |
2006 |
DBLP DOI BibTeX RDF |
frugality ratio, non-cooperative, wireless networks, game theory, mechanism design, nash equilibrium, dominant strategy |
10 | Kazunori Mizuno, Seiichi Nishihara |
Constraint-Based Prototyping for Understanding Three Orthographic Views. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shiping Chen 0001, Bo Yan, John Zic, Ren Ping Liu, Alex Ng |
Evaluation and Modeling of Web Services Performance. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Francesco Lelli, Gaetano Maron, Salvatore Orlando 0001 |
Improving the performance of XML based technologies by caching and reusing information. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zhengyun Ran, Huade Li, Shujin Chen |
Application of Optimized EKF in Direct Torque Control System of Induction Motor. |
ICICIC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Li Li 0020, Allen D. Malony |
Model-Based Performance Diagnosis of Master-Worker Parallel Computations. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
measurement, analysis, parallel models, master-worker, Performance diagnosis |
10 | R. U. R. Mocho, G. H. Sartori, Renato P. Ribas, André Inácio Reis |
Asynchronous circuit design on reconfigurable devices. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
FPGAs, asynchronous circuits |
10 | Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker |
Run-time reconfiguration of communication in SIMD architectures. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tianji Li, Qiang Ni, David Malone, Douglas J. Leith, Yang Xiao 0001, Thierry Turletti |
A New MAC Scheme for Very High-Speed WLANs. |
WOWMOM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tianqi Zhang, Zengshan Tian, Zhengzhong Zhou, Yujun Kuang |
A Neural Network Method for Blind Signature Waveform Estimation of Synchronous CDMA Signals. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Martin Senft |
Compressed by the Suffix Tree. |
DCC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sam Phu Manh Tran, T. Andrew Yang |
Evaluations of target tracking in wireless sensor networks. |
SIGCSE |
2006 |
DBLP DOI BibTeX RDF |
sensor network, object tracking |
10 | Christopher K. Nguyen, Anup Kumar |
Medium Access Control with Adjustable Sleeps for Wireless Sensor Networks. |
ISCC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ping Wang, Yunze Cai, Jinjie Huang, Xiaoming Xu |
A Dynamic Service Range Management Strategy for Improving Mobile Multicast Protocol Performance. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Minjuan Zhong, Xingdong Lü |
A Domain-Based Intelligent Search Engine. |
ICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dino Martin López-Pacheco, CongDuc Pham |
Enabling Large Data Transfers on Dynamic, Very High-Speed Network Infrastructures. |
ICN/ICONS/MCL |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ken Harada, Jun Sakuma, Shigenobu Kobayashi |
Local search for multiobjective function optimization: pareto descent method. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
multi-objective optimization, local search, constraint handling |
10 | Yalin Evren Sagduyu, Anthony Ephremides |
Joint Optimization of MAC and Network Coding for Cooperative and Competitive Wireless Multicasting. |
ICPADS (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Di Marco, Giuseppe Ciaccio |
Efficient Many-to-One Communication for a Distributed RAID. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yu-Bu Lee, Myoung-Hee Kim |
Automated Ultrasonic Measurement of Fetal Nuchal Translucency Using Dynamic Programming. |
CIARP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kyung-Sang Sung, Hae-Seok Oh |
Recommends System using Re-extraction methods on the Groups with a similarity pattern such as Clustered User's preference tendency. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ling Zhang 0001, Bo Zhang 0010 |
Hierarchical Machine Learning - A Learning Methodology Inspired by Human Intelligence. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jaeho Lee, Jaiyong Lee |
Route Enhancement Scheme Using HMIP in Heterogeneous Wireless Data Networks. |
ICOIN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Hauke Busch, Werner Sandmann, Verena Wolf |
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
Biochemical Reactions, Markov Chain, Aggregation, Stochastic Model |
10 | Jaeil Lee, Inkyoung Jeun, Seoklae Lee |
Efficient Attribute Authentication in Wireless Mobile Networks. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Vaddina Prakash Rao, Dimitri Marandin |
Adaptive Backoff Exponent Algorithm for Zigbee (IEEE 802.15.4). |
NEW2AN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dahua Lin, Xiaoou Tang |
Conditional Infomax Learning: An Integrated Framework for Feature Extraction and Fusion. |
ECCV (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lin Yuan, Hengming Zou |
Fast Rollup on Recursive Hierarchy in OLAP. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yu-Chieh Wu, Jie-Chi Yang, Yue-Shi Lee, Show-Jane Yen |
Efficient and Robust Phrase Chunking Using Support Vector Machines. |
AIRS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Brian J. Barritt, Behnam Malakooti, Zhihao Guo |
Intelligent Multiple-Criteria Broadcasting in Mobile Ad-hoc Networks. |
LCN |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Filippo Furfaro, Giuseppe M. Mazzeo, Cristina Sirangelo |
Exploiting Cluster Analysis for Constructing Multi-dimensional Histograms on Both Static and Evolving Data. |
EDBT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Vipul Bansal, Rahul Garg 0001 |
Simultaneous Independent Online Auctions with Discrete Bid Increments. |
Electron. Commer. Res. |
2005 |
DBLP DOI BibTeX RDF |
multi-item auctions, simultaneous ascending auctions, discrete bid increments, competitive prices, efficiency, auctions, nash equilibrium, substitutes, bidding strategy |
10 | Yang Xiao 0001 |
IEEE 802.11 performance enhancement via concatenation and piggyback mechanisms. |
IEEE Trans. Wirel. Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin W. Wah, Zhe Wu 0002 |
Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
techniques of algorithms, penalty formulation, search, constraint satisfaction, Boolean satisfiability, knowledge representation and reasoning, saddle point |
10 | Yannis Manolopoulos |
On the number of recursive calls of recursive functions. |
ACM SIGCSE Bull. |
2005 |
DBLP DOI BibTeX RDF |
binomial coefficient, mergesort, number of calls, recursion, fibonacci numbers |
10 | Chaochang Chiu, Pei-Lun Hsu |
A constraint-based genetic algorithm approach for mining classification rules. |
IEEE Trans. Syst. Man Cybern. Part C |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jianwen Zhu, Silvian Calman |
Context sensitive symbolic pointer analysis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yang Richard Yang, Haiyong Xie 0001, Hao Wang 0010, Abraham Silberschatz, Arvind Krishnamurthy, Yanbin Liu, Li Erran Li |
On route selection for interdomain traffic engineering. |
IEEE Netw. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Dan Zhang, Zeng-zhi Li, Hong Song, Long Liu |
A Programming Model for an Embedded Media Processing Architecture. |
SAMOS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Keunjoon Lee, Jinu Joo, Jihoon Yang, Sungyong Park |
Unit Volume Based Distributed Clustering Using Probabilistic Mixture Model. |
Discovery Science |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Arvind Krishnaswamy, Rajiv Gupta 0001 |
Efficient Use of Invisible Registers in Thumb Code. |
MICRO |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Vooi Voon Yap, Richard Comley |
A Hybrid Wavelet-Based Compression System. |
ICITA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Michel X. Goemans, Vahab S. Mirrokni, Adrian Vetta |
Sink Equilibria and Convergence. |
FOCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rong Peng, Jingsong Cui, Yue Pan |
Efficient Deadlock-Freeness Detection in Real-time Systems. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Rasit Onur Topaloglu, Alex Orailoglu |
Forward discrete probability propagation method for device performance characterization under process variations. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | John C. Bicket, Daniel Aguayo, Sanjit Biswas, Robert Tappan Morris |
Architecture and evaluation of an unplanned 802.11b mesh network. |
MobiCom |
2005 |
DBLP DOI BibTeX RDF |
Ad hoc networks, mesh networks, multi-hop wireless networks, route metrics, wireless routing |
10 | Hoseong Jeon, Min Young Chung, Hyunseung Choo |
On AAA Based on Brokers and Pre-encrypted Keys in MIPv6. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ricardo Rocha 0001, Fernando M. A. Silva, Vítor Santos Costa |
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Robert F. Lembach, Rafael A. Arce-Nazario, Donald Eisenmenger, Cory Wood |
A diagnostic method for detecting and assessing the impact of physical design optimizations on routing. |
ISPD |
2005 |
DBLP DOI BibTeX RDF |
routing, efficiency, timing, placement, physical synthesis, netlist |
10 | Stephan J. Eidenbenz, Giovanni Resta, Paolo Santi |
COMMIT: A Sender-Centric Truthful and Energy-Efficient Routing Protocol for Ad Hoc Networks with Selfish Nodes. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Tianqi Zhang, Xiaokang Lin, Zhengzhong Zhou, Aiping Mu |
A Modified PCA Neural Network to Blind Estimation of the PN Sequence in Lower SNR DS-SS Signals. |
ISNN (1) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christopher K. Nguyen, Anup Kumar |
An Energy-Aware Medium-Access-Control Protocol with Frequent Sleeps for Wireless Sensor Networks. |
ISCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Xiangrong Zhou, Peter Petrov |
Energy-efficient address translation for virtual memory support in low-power and real-time embedded processors. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Woo-Hun Kim, Kee-Young Yoo |
Group-Oriented Channel Protection for Mobile Devices in Digital Multimedia Broadcasting. |
ISCIS |
2005 |
DBLP DOI BibTeX RDF |
Digital multimedia broadcasting, Conditional access system, Channel grouping, Key distribution |
10 | Seung-hyun Min, Kwang Ho Chun, Myoung-Jun Kim |
Scheduling Method for a Real Time Data Service in the Wireless ATM Networks. |
ICIC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Hongliang Yu, Weimin Zheng, Dongsheng Wang 0002, Haitao Dong, Lu Li |
CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology. |
APPT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Paulito P. Palmes, Shiro Usui |
Invasive Connectionist Evolution. |
ICNC (3) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Theresa Foley, Jeremy Sugerman |
KD-tree acceleration structures for a GPU raytracer. |
Graphics Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Aaron A. Klammer, Christine C. Wu, Michael J. MacCoss, William Stafford Noble |
Peptide Charge State Determination for Low-Resolution Tandem Mass Spectra. |
CSB |
2005 |
DBLP DOI BibTeX RDF |
charge state, machine learning, support vector machine, proteomics, mass spectrometry |
10 | Chia-Cheng Hu, Eric Hsiao-Kuang Wu, Gen-Huey Chen, Chiang Jui-Hao |
Mobility-Aware On-demand Global Hosts for Ad-Hoc Multicast. |
ICCNMC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Shudong Jin, Limin Wang |
Content and service replication strategies in multi-hop wireless mesh networks. |
MSWiM |
2005 |
DBLP DOI BibTeX RDF |
replication, mesh networks, cache replacement, multi-hop communication |
10 | Hao Wang 0010, Haiyong Xie 0001, Yang Richard Yang, Avi Silberschatz, Li Erran Li, Yanbin Liu |
Stable Egress Route Selection for Interdomain Traffic Engineering: Model and Analysis. |
ICNP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Taesoon Park |
Mobile Agent Based Fault-Tolerance Support for the Reliable Mobile Computing Systems. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Young-Chul Shim, Hyun-Ah Kim, Ju-Il Lee |
Design and Evaluation of a New Micro-mobility Protocol in Large Mobile and Wireless Networks. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Young-Jun Seo, Hwa-Young Jeong, Young-Jae Song |
The Implementation of Web-Based Score Processing System for WBI. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Taeho Kim, Jae-Gon Kim |
Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Hwa-Young Jeong |
The Implementation of Component Based Web Courseware in Middleware Systems. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jiannong Cao 0001, Fred Bojin Liu |
P2PGrid: Integrating P2P Networks into the Grid Environment. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jian Chen, Yong Guan, Udo W. Pooch |
Customizing a Geographical Routing Protocol for Wireless Sensor Networks. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
Geographical Routing Protocol, Sensor Networks, Energy-efficient, Data Consistency, Link Asymmetry |
10 | Nikhil Bhatia, Fengguang Song, Felix Wolf 0001, Jack J. Dongarra, Bernd Mohr, Shirley Moore |
Automatic Experimental Analysis of Communication Patterns in Virtual Topologies. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
wavefront algorithms, visualization, performance tools, virtual topologies, event tracing |
10 | Yinglei Song, Chunmei Liu, Xiuzhen Huang, Russell L. Malmberg, Ying Xu, Liming Cai |
Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment. |
WABI |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jun Yan 0005, Yun Yang 0001, Ryszard Kowalczyk, Xuan Thang Nguyen |
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Xinli Huang, Yin Li, Fei Liu 0007, Fanyuan Ma |
ToA3: Beyond the Limit of Unstructured P2P Networks. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Guiguang Ding, Qionghai Dai, Wenli Xu |
Motion-Compensated 3D Wavelet Video Coding Based on Adaptive Temporal Lifting Filter Implementation. |
CIS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | David J. Anderson |
Stretching Agile to fit CMMI Level 3 - the story of creating MSF for CMMI Process Improvement at Microsoft Corporation. |
AGILE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Amit Gandhi, Haitham Akkary, Ravi Rajwar, Srikanth T. Srinivasan, Konrad K. Lai |
Scalable Load and Store Processing in Latency Tolerant Processors. |
ISCA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Francis R. Bach, Michael I. Jordan |
Predictive low-rank decomposition for kernel methods. |
ICML |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Yang Xu 0017, Kan-Lin Hsiung, Xin Li 0001, Ivan Nausieda, Stephen P. Boyd, Lawrence T. Pileggi |
OPERA: optimization with ellipsoidal uncertainty for robust analog IC design. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
optimization, statistical |
10 | Syed Muhammad Ali, Sven Koenig, Milind Tambe |
Preprocessing techniques for accelerating the DCOP algorithm ADOPT. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
distributed constraint optimization |
10 | S. Shaheen Fatima, Michael J. Wooldridge, Nicholas R. Jennings |
Sequential auctions for objects with common and private values. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-object auctions, game-theory |
10 | Li Lin, Dan Luo 0001, Li Liu 0033 |
Mining Domain-Driven Correlations in Stock Markets. |
Australian Conference on Artificial Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Bozidar Radunovic, Jean-Yves Le Boudec |
Rate Performance Objectives of Multihop Wireless Networks. |
IEEE Trans. Mob. Comput. |
2004 |
DBLP DOI BibTeX RDF |
max-min, utility fairness, wireless, System design, mathematical programming/optimization, best-effort |
10 | Efthymios G. Tsionas |
Bayesian inference for multivariate gamma distributions. |
Stat. Comput. |
2004 |
DBLP DOI BibTeX RDF |
multivariate gamma distribution, technical efficiency measurement, Bayesian inference, Markov Chain Monte Carlo |
10 | Cecil Chua Eng Huang, Jonathan Wareham |
Fighting Internet Auction Fraud: An Assessment and Proposal. |
Computer |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Peisong Chen, John W. Woods |
Bidirectional MC-EZBC with lifting implementation. |
IEEE Trans. Circuits Syst. Video Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Yi Cui 0001, Baochun Li, Klara Nahrstedt |
oStream: asynchronous streaming multicast in application-layer overlay networks. |
IEEE J. Sel. Areas Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Apostol Natsev, Rajeev Rastogi, Kyuseok Shim |
WALRUS: A Similarity Retrieval Algorithm for Image Databases. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
clustering, dynamic programming, Wavelets, content-based retrieval, region matching |
10 | Clare E. Martin, Jeremy Gibbons, Ian Bayley |
Disciplined, efficient, generalised folds for nested datatypes. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold |
10 | Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
Can a Higher-Order and a First-Order Theorem Prover Cooperate?. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|