7379 search results - page 1076 / 1476 » How Many Clusters |
140
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
137
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
148
Voted
ICMI
2003
Springer
15 years 10 months ago
2003
Springer
The major difficulty for large vocabulary sign language or gesture recognition lies in the huge search space due to a variety of recognized classes. How to reduce the recognition ...
141
Voted
IPTPS
2003
Springer
15 years 10 months ago
2003
Springer
- An unwritten principle of the Internet Protocol is that the IP address of a node also serves as its identifier. We observe that many scalability problems result from this princi...
157
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We present a tangible user interface (TUI) called Tangible Graph Builder, that has been designed to allow visually impaired users to access graph and chart-based data. We describe...