Jeffrey Van Baalen

18 papers A* 6C 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2016 J jnl
A feasibility cachaca type recognition using computer vision and pattern recognition.
Comput. Electron. Agric.
Bruno Urbano Rodrigues, Anderson da Silva Soares, Ronaldo Martins da Costa, Jeffrey Van Baalen, Rogerio Lopes Salvini, F. A. Silva, Márcio Caliari, Karla Cristina Rodrigues Cardoso, Tânia Isabel Monteiro Ribeiro, Alexandre C. B. Delbem, Fernando Marques Federson, Clarimar José Coelho, Gustavo Teodoro Laureano, Telma Woerle de Lima
2016 J jnl
Node-depth phylogenetic-based encoding, a spanning-tree representation for evolutionary algorithms. part I: Proposal and properties analysis.
Swarm Evol. Comput.
Telma Woerle de Lima, Alexandre Cláudio Botazzo Delbem, Anderson da Silva Soares, Fernando Marques Federson, João Bosco Augusto London Junior, Jeffrey Van Baalen
2005 J jnl
Automated Procedure Construction for Deductive Synthesis.
Autom. Softw. Eng.
Steve Roach, Jeffrey Van Baalen
2002 — conf
Automated Protocol Analysis in Maude.
FAABS
Jeffrey Van Baalen, Thomas Böhne
2002 A* conf
Experience Report on Automated Procedure Construction for Deductive Synthesis.
ASE
Steve Roach, Jeffrey Van Baalen
2001 A* conf
Amphion/NAV: Deductive Synthesis of State Estimation Software.
ASE
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
2000 — conf
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude.
FAABS
Jeffrey Van Baalen, James L. Caldwell, Shivakant Mishra
1998 A* conf
Explaining Synthesized Software.
ASE
Jeffrey Van Baalen, Peter Robinson, Michael R. Lowry, Thomas Pressburger
1998 C conf
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.
LOPSTR
Jeffrey Van Baalen, Steve Roach
1997 J jnl
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.
Autom. Softw. Eng.
Michael R. Lowry, Jeffrey Van Baalen
1995 — conf
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems.
KBSE
Michael R. Lowry, Jeffrey Van Baalen
1994 A* conf
The Role of Reversible Grammars in Translating Between Representation Languages.
KR
Jeffrey Van Baalen, Richard Fikes
1992 J jnl
Automated Design of Specialized Representations.
Artif. Intell.
Jeffrey Van Baalen
1991 J jnl
JOSIE: An Integration of Specialized Representation and Reasoning Tools.
SIGART Bull.
Robert Nado, Jeffrey Van Baalen, Richard Fikes
1991 A* conf
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.
KR
Jeffrey Van Baalen
1990 — conf
Performing deduction from implicit beliefs.
TAI
Jeffrey Van Baalen, Robert Nado
1988 A* conf
Overview of an Approach to Representation Design.
AAAI
Jeffrey Van Baalen, Randall Davis
1988 — —
Steps towards a theory of representation design.
Jeffrey Van Baalen