13090 search results - page 2378 / 2618 » Usable artificial intelligence |
196
click to vote
ISMVL
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper proposes a method to represent elementary functions such as trigonometric, logarithmic, square root, and reciprocal functions using edge-valued multi-valued decision di...
148
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
168
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
185
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
204
click to vote
CIVR
2007
Springer
16 years 23 days ago
2007
Springer
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by explo...