2722 search results - page 179 / 545 » Automating Language Evolution |
134
Voted
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
183
click to vote
DGO
2008
15 years 6 months ago
2008
We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and in...
179
click to vote
TRETS
2010
15 years 3 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
124
click to vote
JMLR
2010
14 years 11 months ago
2010
This paper describes ongoing research work by the Pattern Recognition and Human Language Technology (PRHLT) group (UPV PASCAL2 node) in two important technology transfer projects:...
133
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...