6614 search results - page 203 / 1323 » Semantics of Information as Interactive Computation |
162
click to vote
CASSIS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
195
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Despite several efforts to make search engines more childfriendly, children still have trouble using systems that require keyboard input. We present TeddIR: a system using a tangi...
147
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. ...
157
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
165
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Hierarchical clustering is a popular method for grouping together similar elements based on a distance measure between them. In many cases, annotation information for som...