Sciweavers

2154 search results - page 10 / 431
» On the notion of concept I
Sort
View
WSPI
2004
13 years 11 months ago
Knowledge Relativity
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...
Oliver Hoffmann
SAC
2010
ACM
13 years 4 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
ECMAST
1998
Springer
96views Multimedia» more  ECMAST 1998»
14 years 2 months ago
An Execution Architecture for Synchronized Multimedia Presentations
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
Franck Rousseau, Andrzej Duda
IGPL
2010
110views more  IGPL 2010»
13 years 8 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
JSYML
2008
78views more  JSYML 2008»
13 years 9 months ago
Hierarchies of forcing axioms I
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
Itay Neeman, Ernest Schimmerling