Sciweavers

2557 search results - page 226 / 512
» Structures of the Environment in Colonies
Sort
View
ENTCS
2002
141views more  ENTCS 2002»
13 years 10 months ago
Graph Based Debugging with Fujaba
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
Leif Geiger, Albert Zündorf
EOR
2002
66views more  EOR 2002»
13 years 10 months ago
Dynamic multi-objective heating optimization
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...
Raimo P. Hämäläinen, Juha Mänt...
SLOGICA
1998
128views more  SLOGICA 1998»
13 years 10 months ago
Encoding Modal Logics in Logical Frameworks
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
Arnon Avron, Furio Honsell, Marino Miculan, Cristi...
ICIP
2009
IEEE
13 years 8 months ago
Scene image segmentation based on Perceptual Organization
We propose a novel scene image segmentation algorithm based on Perceptual Organization. We develop a Perceptual Organization model by quantitatively incorporating a list of Gestal...
Chang Cheng, Andreas Koschan, David L. Page, Mongi...
CORR
2010
Springer
65views Education» more  CORR 2010»
13 years 8 months ago
Are SNOMED CT Browsers Ready for Institutions? Introducing MySNOM
SNOMED Clinical Terms (SNOMED CT) is one of the most widespread ontologies in the life sciences, with more than 300,000 concepts and relationships, but is distributed with no assoc...
Pablo López-García