343 search results - page 7 / 69 » Notes on the Jump of a Structure |
109
Voted
CHI
2005
ACM
15 years 1 months ago
2005
ACM
Informal note taking is an essential activity in Personal Information Management (PIM). Most mobile devices support this via a suite of applications, employing both highly structu...
CIE
2005
Springer
15 years 5 months ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
BSL
2004
14 years 11 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
CHI
1996
ACM
15 years 3 months ago
1996
ACM
The Audio Notebook allows a user to capture and access an audio recording of a lecture or meeting in conjunction with notes written on paper. The audio recording is synchronized w...
CSCLP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...