3775 search results - page 486 / 755 » The Expression Problem Revisited |
204
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
173
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
159
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
162
click to vote
CIVR
2005
Springer
16 years 7 days ago
2005
Springer
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
164
click to vote
COCO
2005
Springer
16 years 7 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...