4328 search results - page 563 / 866 » A New Kind of Science |
136
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
An application-level technique is described for farmer-worker parallel applications which allows a worker to be added or removed from the computing farm at any moment of the run ti...
182
Voted
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
Most existing lossless image compression schemes operate on grey-scale images. However, in the case of colour images, higher compression ratios can be achieved by exploiting inter...
160
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
196
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
168
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
The NanoManipulator system has been expanded from a virtualreality interface for a specific scanning tunneling microscope to include control of atomic force microscopes. The curre...