1310 search results - page 218 / 262 » Learning the k in k-means |
CAV
1998
Springer
15 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
EDBT
1994
ACM
15 years 1 months ago
1994
ACM
We describe a system that provides query based associative access to the contents of distributed information servers. In typical distributed information systems there are so many o...
IFIP
1993
Springer
15 years 1 months ago
1993
Springer
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
DAS
2010
Springer
15 years 1 months ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
ASSETS
2007
ACM
15 years 1 months ago
2007
ACM
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...