490 search results - page 57 / 98 » Automated Generalization of Translation Examples |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Identifying suitable image features is a central challenge in computer vision, ranging from representations for lowlevel to high-level vision. Due to the difficulty of this task,...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
BMCBI
2008
13 years 7 months ago
2008
Currently, most of the discovered biological and biomedical knowledge is available as textual data in scientific papers. And, locating and curating information about a genomic enti...
CL
2008
Springer
13 years 7 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...