16218 search results - page 184 / 3244 » Standards |
147
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
125
click to vote
TMRA
2005
Springer
15 years 10 months ago
2005
Springer
We outline the main elements of what we call polyscopic structuring of information and argue that information needs to be structured accordingly. The principles of polyscopy may bo...
105
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
Under construction… Categories and Subject Descriptors H.3.3 [Information Storage and Retrieval]: Information Search and Retrieval – clustering. General Terms Algorithms, Expe...
123
click to vote
GMP
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we explore several extensions to surface pasting. In particular, using the task of modelling a ferret as a driving force, we improved the user interface for cylindr...
113
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
With inherent problem complexity, ever increasing instance size and ever decreasing layout area, there is need in physical design for improved heuristics and algorithms. In this in...