9405 search results - page 1083 / 1881 » Computing a Model of Set Theory |
211
click to vote
ECAI
2000
Springer
15 years 12 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
183
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
209
click to vote
LOPSTR
1994
Springer
15 years 11 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
227
click to vote
EMNLP
2010
15 years 5 months ago
2010
The computation of meaning similarity as operationalized by vector-based models has found widespread use in many tasks ranging from the acquisition of synonyms and paraphrases to ...
208
click to vote
DLOG
2009
15 years 5 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...