5326 search results - page 161 / 1066 » On what we can ensure |
179
click to vote
TCS
2002
15 years 6 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
154
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
The body of work on multi-body factorization separates between objects whose motions are independent. In this work we show that in many cases objects moving with different 3D moti...
151
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
159
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
162
click to vote
AH
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a system that delivers travel guides tailored to individual needs. It does so by integrating a discourse planner with a system for querying the web and genera...