Michal H. Palka - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

Testing an optimising compiler by generating random lambda termsMichal H. Palka, Koen Claessen, Russo, Alejandro, John Hughes. In Proceedings of the 6th International Workshop on Automation of Software Test. 2011: 91-97 [doi]

SLM-based PAPR reduction method using partial data circulation and side information insertion in OFDM systemsJyh-Horng Wen, Shu-Hong Lee, Chu-Hsuan Cheng. ijcomsys, 22(1):87-100, 2009. [doi]

A transmission line fault locator based on Elman recurrent networksSami Ekici, Selcuk Yildirim, Mustafa Poyraz. asc, 9(1):341-347, 2009. [doi]

EventScript: an event-processing language based on regular expressions with actionsNorman H. Cohen, Karl Trygve Kalleberg. lctrts 2008: 111-120 [doi]

Wavelet-Based Speech Enhancement Using Time-Adapted Noise EstimationSheau-Fang Lei, Ying-Kai Tung. ieicet, 91-A(9):2555-2563, 2008. [doi]

2 dB Better Than CP-OFDM with OFDM/OQAM for Preamble-Based Channel EstimationChrislin Lele, Pierre Siohan, Rodophe Legouable. icc 2008: 1302-1306 [doi]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007Arnd Poetzsch-Heffter, editor, ACM, 2007.

20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, SloveniaIEEE Computer Society, 2007.

GA-Based Iris/Sclera Boundary Detection for Biometric Iris IdentificationTatiana Tambouratzis, Michael Masouris. icannga 2007: 457-466 [doi]

Document Retrieval by Projection Based Frequency DistributionIsamu Shioya, Hirohito Oh uchi, Takao Miura. ijait, 16(4):647-659, 2007. [doi]

Numerical Time-Series Pattern Extraction Based on Irregular Piecewise Aggregate Approximation and Gradient SpecificationMiho Ohsaki, Hidenao Abe, Takahira Yamaguchi. ngc, 25(3):213-222, 2007. [doi]

Discontinuity in Organizations: Developing a Knowledge-Based Organizational Performance Model for Discontinuous MembershipR. Ibrahim, M. Nissen. ijkm, 3(1):10-28, 2007. [doi]

SOM-based estimation of climatic profilesTatiana Tambouratzis. ijis, 21(5):503-522, 2006. [doi]

A Parallel Solution to the HIP Game Based on Genetic AlgorithmsTatiana Tambouratzis. seal 2006: 672-679 [doi]

Advanced Video and Signal Based Surveillance, 2006 IEEE International Conference on Video and Signal Based Surveillance (AVSS 06), 22-24 November 2006, Sydney, AustraliaIEEE Computer Society, 2006.

Flexible Organic Field-Effect Transistors Based on the Composites with the Same Thiophene Backbone by Wet ProcessHirotake Kajii, Hiroshi Okuya, Shohei Fukuda, Akinori Sakakibara, Yutaka Ohmori. ieicet, 89-C(12):1779-1780, 2006. [doi]

18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, IrelandIEEE Computer Society, 2005.

12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USAIEEE Computer Society, 2005.

A polar-plane-based method for natural illumination of plants and treesMaria J. Vicent, Vicente Rosell, Roberto Vivó. cg, 29(2):203-208, 2005. [doi]

The T-detectors maturation algorithm based on match range modelDongyong Yang, Jungan Chen. SAC 2005: 43-44 [doi]

17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USAIEEE Computer Society, 2004.

Fast correspondence-based system for shape retrieval, Boaz J. Super. prl, 25(2):217-225, 2004. [doi]

Package-Based Software DevelopmentMerijn de Jonge. euromicro 2003: 76-85 [doi]

2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USAIEEE Computer Society, 2003.

COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, ProceedingsJohn C. Dean, Andrée Gravel, editors, Volume 2255 of Lecture Notes in Computer Science, Springer, 2002.

Towards sketch-based exploration of terrainP.-L. Lesage, Mahes Visvalingam. cg, 26(2):309-328, 2002. [doi]

Fast and Accurate Phylogeny Reconstruction Algorithms Based on the Minimum-Evolution PrincipleRichard Desper, Olivier Gascuel. jcb, 9(5):687-706, 2002.

Pulling it all Together with WIT: A Tool for Integrating Web-based InformationW. David Reese, Dennis Heimbigner, Alexander L. Wolf. wiiw 2001: 58-65

Multiscale color invariants based on the human visual systemJuliana F. Camapum Wanderley, Mark H. Fisher. TIP, 10(11):1630-1638, 2001. [doi]

Ask Smartypants: A Web-based tool to help busy educators keep up with research about new and emerging technologiesTammy McGraw, Krista Burdette, Chris Corallo. webnet 2001: 133-134

The Clipper Project: Designing Effective Web-based Courses for Pre-Baccalaureate StudentsTammy Chapman, Stephen Bronack, James DiPerna. webnet 2001: 174

The Impact of Culture in Designing Web-Based SystemsJantawan Noiwan, Thawatchai Piyawat, Anthony F. Norcio. webnet 2001: 913-918

Improving Collaboration in Web-based Distance Higher Education Using Synchronous TechnologiesGabriel Dima, Marcel Profirescu. webnet 2001: 303-305

Conceptual Interactive Learning Tools Based on Computer SimulatorsDamjan Zazula, Bogdan Viher, Dean Korosec, Enis Avdicausevic, Mitja Lenic, Bozidar Potocnik. informaticaSI, 23(3), 1999.

Shape-based word recognitionA. Lawrence Spitz. ijdar, 1(4):178-190, 1999. [doi]

An Efficient Implementation of Distance-Based Diversity Measures Based on k-d TreesDimitris K. Agrafiotis, Victor S. Lobanov. jcisd, 39(1):51-58, 1999. [doi]

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. iccl 1998: 132-142 [doi]

An Association-Based Method for Automatic Indexing with a Controlled VocabularyChristian Plaunt, Barbara A. Norgard. jasis, 49(10):888-902, 1998.

Index-Based HyperlinksJohn H. Hartman, Todd A. Proebsting, Rajesh Sundaram. cn, 29(8-13):1129-1135, 1997. [doi]

Method for Evaluation of Stemming Algorithms Based on Error CountingChris D. Paice. jasis, 47(8):632-649, 1996.

An OCR based on character shape codes and lexical informationA. Lawrence Spitz. icdar 1995: 723-728 [doi]

A Trace Based Performance Evaluation Tool for Parallel Real Time SystemsRolf Borgeest, Bernward Dimke, Olav Hansen. pc, 21(4):551-564, 1995.

D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc ProjectRobert Neches. ai, 61(1):65-79, 1993.

Subject and citation indexing, Part II: The optimal, cluster-based retrieval performance of composite representationsWilliam M. Shaw Jr.. jasis, 42(9):676-684, 1991.

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

Estimation of the publication potential in 50 U.S. states and in the District of Columbia based on the frequency distribution of scientific productivityAndrés Schubert, Andrés Telcs. jasis, 40(4):291-297, 1989.

Knowledge-Based Tools to Promote Shared Goals and Terminology Between Interface DesignersRobert Neches. tois, 6(3):215-231, 1988. [doi]

A robust method for picture segmentation based on a split-and-merge procedureFusak Cheevasuvit, Henri Maître, Daniel Vidal-Madjar. cvgip, 34(3):268-281, 1986. [doi]

Representing Quantitative and Qualitative Knowledge in a Knowledge-Based Storm-Forecasting SystemRenee Elio, Johannes de Haan. ijmms, 25(5):523-547, 1986.

Consistent-Labeling Problems and Their Algorithms: Expected-Complexities and Theory-Based HeuristicsBernard Nudel. ai, 21(1-2):135-178, 1983.

runs on WebDSL