1636 search results - page 136 / 328 » Type-Theoretic Functional Semantics |
149
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
201
click to vote
DCEIS
2006
15 years 5 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
134
Voted
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
139
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
122
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...