Sciweavers

1149 search results - page 10 / 230
» What Are Iteration Theories
Sort
View
UMUAI
1998
78views more  UMUAI 1998»
13 years 7 months ago
What is Initiative?
This paper presents some alternate theories for explaining the term ‘initiative’, as it is used in the design of mixed-initiative AI systems. Although there is now active resea...
Robin Cohen, Coralee Allaby, Christian Cumbaa, Mar...
TAPSOFT
1997
Springer
13 years 11 months ago
What Does the Future Hold for Theoretical Computer Science?
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.
Donald Sannella
SCP
2011
255views Communications» more  SCP 2011»
13 years 2 months ago
Map fusion for nested datatypes in intensional type theory
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
Ralph Matthes
CVIU
2007
128views more  CVIU 2007»
13 years 7 months ago
Iterative relative fuzzy connectedness for multiple objects with multiple seeds
In this paper we present a new theory and an algorithm for image segmentation based on a strength of connectedness between every pair of image elements. The object definition use...
Krzysztof Ciesielski, Jayaram K. Udupa, Punam K. S...
FUIN
1998
135views more  FUIN 1998»
13 years 7 months ago
A Study on Partitioned Iterative Function Systems for Image Compression
The technique of image compression using Iterative Function System (IFS) is known as fractal image compression. An extension of IFS theory is called as Partitioned or local Iterati...
Suman K. Mitra, C. A. Murthy, Malay Kumar Kundu