1925 search results - page 93 / 385 » Theory research at Google |
185
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
187
click to vote
XPU
2007
Springer
16 years 11 days ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
152
click to vote
AAAI
2004
15 years 7 months ago
2004
In this paper we report some of the research endeavors we are embarking on as part of the Doctoral research of the first author. We have already completed an investigation of some...
166
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
What is the nature of instructional design? Is instructional design merely the practical application of learning theories to learning situations? What elements form the building b...
159
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...