Sciweavers

7623 search results - page 490 / 1525
» Constructive Volume Modeling
Sort
View
IJSM
2006
90views more  IJSM 2006»
15 years 6 months ago
Diagrammatic Tools for Generating Biorthogonal Multiresolutions
In a previous work [1] we introduced a construction designed to produce biorthogonal multiresolutions from given subdivisions. This construction was formulated in matrix terms, wh...
Faramarz F. Samavati, Richard H. Bartels
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
ENTCS
2002
77views more  ENTCS 2002»
15 years 6 months ago
Towards Coalgebraic Behaviourism
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
Dragan Masulovic
JUCS
2010
106views more  JUCS 2010»
15 years 5 months ago
Situational Method Engineering: State-of-the-Art Review
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
Brian Henderson-Sellers, Jolita Ralyté
IIR
2010
15 years 4 months ago
MOWIS: A System for Building Multimedia Ontologies from Web Information Sources
Defining ontologies within the multimedia domain still remains a challenging task, due to the complexity of multimedia data and the related associated knowledge. In this paper, we...
Vincenzo Moscato, Antonio Penta, Fabio Persia, Ant...