2880 search results - page 322 / 576 » Types are calling conventions |
156
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a pro...
175
click to vote
JUCS
2007
15 years 6 months ago
2007
: Handheld devices are becoming more and more popular in education. Educational simulation and modelling are not new soil, but for handhelds they are still much under explored. Due...
175
click to vote
KAIS
2007
15 years 6 months ago
2007
Data clustering is a popular approach for automatically finding classes, concepts, or groups of patterns. In practice this discovery process should avoid redundancies with existi...
168
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
213
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Peer-to-peer systems appear promising in terms of their ability to support ad hoc, spontaneous collaboration. However, current peer-to-peer systems suffer from several deficiencie...