811 search results - page 65 / 163 » Probabilistic Semantics and Program Analysis |
112
Voted
WWW
2005
ACM
16 years 3 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...
100
Voted
LLC
2010
14 years 9 months 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...
133
Voted
ISSAC
1998
Springer
15 years 6 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...
136
Voted
EMNLP
2010
15 years 18 days 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...
127
Voted
APLAS
2005
ACM
15 years 8 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...