3971 search results - page 76 / 795 » On the Use of Properties in Java Applications |
114
click to vote
WEBIST
2008
15 years 4 months ago
2008
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
116
click to vote
ESANN
2004
15 years 4 months ago
2004
FAMR (Fuzzy ARTMAP with Relevance factor) is a FAM (Fuzzy ARTMAP) neural network used for classification, probability estimation [3], [2], and function approximation [4]. FAMR uses...
151
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
125
click to vote
SIGDOC
1997
ACM
15 years 7 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
120
click to vote
ENTCS
2006
15 years 2 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...