6306 search results - page 315 / 1262 » Space, Time, and the Use of Language |
206
click to vote
EMNLP
2010
15 years 5 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
167
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...
229
Voted
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
206
Voted
ODRL
2004
15 years 8 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
219
click to vote
SARA
2009
Springer
15 years 12 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...