13917 search results - page 2696 / 2784 » Abstraction of Probabilistic Systems |
201
click to vote
GFKL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
145
click to vote
GI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract: Es wird die Erweiterung von logistischen Servicenetzen um ein selbststeuerendes Verfahren zur Kapazit¨ats- und Robustheitssteigerung beschrieben. Dazu werden die zugeh¨...
151
click to vote
ICFEM
2007
Springer
16 years 29 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
201
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
238
click to vote
IH
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Hard decisions constitute the major problem in digital watermarking applications, especially when content adaptive embedding methods are used. Soft-decision decoding, on ...