811 search results - page 65 / 163 » Probabilistic Semantics and Program Analysis |
143
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
136
click to vote
LLC
2010
15 years 28 days ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
183
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
178
click to vote
EMNLP
2010
15 years 4 months ago
2010
Representing documents by vectors that are independent of language enhances machine translation and multilingual text categorization. We use discriminative training to create a pr...
169
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...