2162 search results - page 292 / 433 » Automated Reasoning on Feature Models |
142
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
172
click to vote
CL
2008
Springer
15 years 4 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...
155
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
The paper presents the Position Specific Posterior Lattice (PSPL), a novel lossy representation of automatic speech recognition lattices that naturally lends itself to efficient ...
196
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
252
Voted
LACL
2011
Springer
14 years 7 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...