8838 search results - page 358 / 1768 » Generalizing Domain Theory |
156
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
210
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
171
click to vote
COMPASS
1994
15 years 11 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
215
click to vote
DCC
1995
IEEE
15 years 10 months ago
1995
IEEE
: In fractal image compression the encoding step is computationally expensive. A large number of sequential searches through a list of domains (portions of the image) are carried o...
157
click to vote
FOIS
2010
15 years 8 months ago
2010
Science aims to develop an accurate understanding of reality through a variety of rigorously empirical and formal methods. Ontologies are used to formalize the meaning of terms wit...