2316 search results - page 87 / 464 » The many forms of hypercomputation |
117
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
121
click to vote
CG
1999
Springer
15 years 4 months ago
1999
Springer
A convexhull H(S)of a 3Dset S is rarely used to accelerateinterferencedetection or as a substitutefor rendering small projection of S,because it typically has too many faces. An a...
132
click to vote
KBS
2002
15 years 4 months ago
2002
The automatic induction of classification rules from examples in the form of a decision tree is an important technique used in data mining. One of the problems encountered is the o...
140
click to vote
JUCS
2010
15 years 2 months ago
2010
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
156
click to vote
ICICS
2010
Springer
15 years 2 months ago
2010
Springer
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...