1791 search results - page 30 / 359 » Two Types of Multiple-Conclusion Systems |
ISUVR
2007
13 years 9 months ago
2007
—This paper proposes a user interface, on see-through system environment which shows the images via two different cameras, that also ordinary user can control the computer system...
OOPSLA
1989
Springer
13 years 11 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper, we evaluate and investigate two main types of relevance feedback algorithms; the Euclidean and the correlation?based approaches. In the first case, we examine heuri...
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...