12193 search results - page 135 / 2439 » It's not all about |
189
click to vote
FAC
2010
15 years 3 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
142
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
The Fourier phase spectrum of an image is well known to contain crucial information about the image geometry, in particular its contours. In this paper, we show that it is also st...
139
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The Tenth Annual ICFP Programming Contest was a 72-hour contest held July 20?23 2007 and organised in conjunction with the 12th ACM SIGPLAN International Conference on Functional ...
166
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
164
click to vote
UM
2007
Springer
16 years 15 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...