Edward P. Stabler

38 papers A* 4B 1C 1Misc 2Journal 10Unranked 19

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	A "Verbal Thermometer" for Assessing Neurodegenerative Disease: Automated Measurement of Pronoun and Verb Ratio from Speech. EMBC William Jarrold, Adrià Rofes, Stephen M. Wilson, Peter Pressman, Edward P. Stabler, Marilu Gorno-Tempini
2017	B	`conf`	Reforming AMR. FG Edward P. Stabler
2016	—	`conf`	Coordination in Minimalist Grammars: Excorporation and Across the Board (Head) Movement. TAG John Torr, Edward P. Stabler
2014	—	`conf`	Towards a rationalist theory of language acquisition. ICGI Edward P. Stabler
2013	J	`jnl`	Two Models of Minimalist, Incremental Syntactic Analysis. Top. Cogn. Sci. Edward P. Stabler
2011	—	`conf`	Top-Down Recognizers for MCFGs and MGs. CMCL@ACL Edward P. Stabler
2005	—	`conf`	Grammar Structure and the Dynamics of Language Evolution. ECAL Yoosook Lee, Travis C. Collier, Gregory M. Kobele, Edward P. Stabler, Charles E. Taylor
2005	—	`ed.`	Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings LACL Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot
2005	—	`conf`	Strict Deterministic Aspects of Minimalist Grammars. LACL John T. Hale, Edward P. Stabler
2004	J	`jnl`	Adaptive communication among collaborative agents: preliminary results with symbol grounding. Artif. Life Robotics Yoosook Lee, Travis C. Collier, Charles E. Taylor, Jason Riggle, Edward P. Stabler
2004	J	`jnl`	Adaptive communication among collaborative agents: preliminary results with symbol grounding. Artif. Life Robotics Yoosook Lee, Travis C. Collier, Charles E. Taylor, Jason Riggle, Edward P. Stabler
2003	J	`jnl`	Structural similarity within and among languages. Theor. Comput. Sci. Edward P. Stabler, Edward L. Keenan
2003	—	`conf`	The Learning and Emergence of Mildly Context Sensitive Languages. ECAL Edward P. Stabler, Travis C. Collier, Gregory M. Kobele, Yoosook Lee, Ying Lin, Jason Riggle, Yuan Yao, Charles E. Taylor
2002	—	`conf`	Learning Mirror Theory. TAG+ Gregory M. Kobele, Travis C. Collier, Charles E. Taylor, Edward P. Stabler
2001	—	`conf`	Recognizing Head Movement. LACL Edward P. Stabler
1999	—	`conf`	Compression and Adaptation. ECAL Tracy K. Teal, Daniel Albro, Edward P. Stabler, Charles E. Taylor
1998	—	`conf`	Formal analyses of the Hungarian verbal complex. TAG+ Temese Szalai, Edward P. Stabler
1996	—	`conf`	Derivational Minimalism. LACL Edward P. Stabler
1995	C	`conf`	Collective Test Generation and Test Set Compaction. ISCAS Jiang Chau Wang, Edward P. Stabler
1994	—	`conf`	Parallel implementation of BDD Algorithms using a Distributed Shared Memory. HICSS (1) Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin
1991	—	`conf`	Formalization of VHDL Synthesis Procedure in Higher-Order Logic. TPHOLs X. Wang, Edward P. Stabler
1991	Misc	`conf`	ITP Interpretext system: MUC-3 test results and analysis. MUC Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler
1991	Misc	`conf`	ITP: description of the Interpretext system as used for MUC-3. MUC Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler
1991	J	`jnl`	Symbolic Simulation for the Verification of Temporal Logic Specifications about Sequential Designs. Int. J. Comput. Simul. A. Mete Kabakçioglu, Edward P. Stabler
1990	J	`jnl`	Synthesis of arithmetic hardware using hardware metafunctions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shiu-Kai Chin, Edward P. Stabler
1988	—	`conf`	Using higher order logic and functional languages to synthesize correct hardware. ICCL Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene
1987	A*	`conf`	Boolean Comparison by Simulation. DAC Edward P. Stabler, Haluk Bingol
1985	J	`jnl`	Verification of Register Transfer Level Parallel Control Sequences. IEEE Trans. Computers Vijay Pitchumani, Edward P. Stabler
1984	A*	`conf`	Computer aided design (CAD) using logic programming. DAC Paul W. Horstmann, Edward P. Stabler
1983	J	`jnl`	An Inductive Assertion Method for Register Transfer Level Design Verification. IEEE Trans. Computers Vijay Pitchumani, Edward P. Stabler
1982	A*	`conf`	A formal method for computer design verification. DAC Vijay Pitchumani, Edward P. Stabler
1979	A*	`conf`	Placement algorithm by partitioning for optimum rectangular placement. DAC Edward P. Stabler, Victor M. Kureichik, Valery A. Kalashnikov
1974	—	`conf`	Mixed Mode Arithmetic for STARAN. Sagamore Computer Conference Edward P. Stabler
1970	J	`jnl`	Microprogram Transformations. IEEE Trans. Computers Edward P. Stabler
1970	J	`jnl`	System Description Languages. IEEE Trans. Computers Edward P. Stabler
1965	—	`conf`	Threshold gate network synthesis SWCT Edward P. Stabler
1959	—	`conf`	Square-loop magnetic logic circuits. IRE-AIEE-ACM Computer Conference (Western) Edward P. Stabler
1956	—	`conf`	Circuit realization of binary functions using threshold devices. ACM National Meeting Edward P. Stabler