2710 search results - page 356 / 542 » Knowledge Management with Snapshots |
137
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
160
click to vote
MRCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
123
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
133
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
141
click to vote
SIGUCCS
2004
ACM
15 years 9 months ago
2004
ACM
This paper is a literature review on practical techniques and guidelines using PowerPoint, animation, and video effectively for instruction. The motivation to collect research bas...