3824 search results - page 486 / 765 » Geometry Constructions Language |
148
click to vote
CIDR
2009
15 years 5 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
142
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
152
click to vote
POPL
2012
ACM
14 years 7 days ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
161
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
138
click to vote
AAAI
2010
15 years 6 months ago
2010
Lifting can greatly reduce the cost of inference on firstorder probabilistic graphical models, but constructing the lifted network can itself be quite costly. In online applicatio...