Sciweavers

9626 search results - page 1419 / 1926
» Invariant Based Programming
Sort
View
IJCAI
2003
15 years 8 months ago
Recycling Computed Answers in Rewrite Systems for Abduction
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...
Fangzhen Lin, Jia-Huai You
WICSA
2001
15 years 8 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
WSCG
2001
83views more  WSCG 2001»
15 years 8 months ago
A Digital Teletext Service
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
Chengyuan Peng, Petri Vuorimaa
WSC
2004
15 years 8 months ago
IAGO Project and Development of Compound Agents
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
John E. Hiles
KDID
2003
119views Database» more  KDID 2003»
15 years 8 months ago
Generalized Version Space Trees
We introduce generalized version space trees, a novel data structure that serves as a condensed representation in inductive databases for graph mining. Generalized version space tr...
Ulrich Rückert, Stefan Kramer
« Prev « First page 1419 / 1926 Last » Next »