2694 search results - page 285 / 539 » Frege's New Science |
182
click to vote
ICIAP
1997
ACM
15 years 10 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...
195
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...
167
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...
174
click to vote
UKCBR
1995
15 years 10 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...