Sciweavers

595 search results - page 26 / 119
» Languages Of Analogical Strings
Sort
View
LPAR
2010
Springer
14 years 7 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
DATE
2003
IEEE
152views Hardware» more  DATE 2003»
15 years 3 months ago
Synthesis of CMOS Analog Cells Using AMIGO
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
Ramy Iskander, Mohamed Dessouky, Maie Aly, Mahmoud...
ATVA
2007
Springer
226views Hardware» more  ATVA 2007»
15 years 3 months ago
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
David Walter, Scott Little, Chris J. Myers
INFFUS
2006
103views more  INFFUS 2006»
14 years 9 months ago
Information fusion approaches to the automatic pronunciation of print by analogy
Automatic pronunciation of words from their spelling alone is a hard computational problem, especially for languages like English and French where there is only a partially consis...
Robert I. Damper, Yannick Marchand
79
Voted
COGSCI
2011
64views more  COGSCI 2011»
14 years 1 months ago
Structural Priming as Structure-Mapping: Children Use Analogies From Previous Utterances to Guide Sentence Production
What mechanisms underlie children’s language production? Structural priming—the repetition of sentence structure across utterances—is an important measure of the developing ...
Micah B. Goldwater, Marc T. Tomlinson, Catharine H...