Sciweavers

8008 search results - page 17 / 1602
» Computer-Aided Language Processing
Sort
View
142
Voted
DAC
2007
ACM
15 years 7 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
132
Voted
IJAOSE
2007
82views more  IJAOSE 2007»
15 years 3 months ago
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
This paper describes West2East, a Computer-Aided Agent-Oriented Software Engineering toolkit aimed at supporting the implementation of multiagent systems. West2East exploits langua...
Giovanni Casella, Viviana Mascardi
217
Voted
CICLING
2005
Springer
15 years 9 months ago
An Overview of Probabilistic Tree Transducers for Natural Language Processing
Kevin Knight, Jonathan Graehl
71
Voted
ESOP
2009
Springer
15 years 10 months ago
Abstract Processes in Orchestration Languages
Maria Grazia Buscemi, Hernán C. Melgratti
96
Voted
PLDI
2005
ACM
15 years 9 months ago
PADS: a domain-specific language for processing ad hoc data
Kathleen Fisher, Robert Gruber