14190 search results - page 2761 / 2838 » Abstractions for hybrid systems |
131
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract: Oft liegt ein Musikst¨uck sowohl als Partitur als auch in Form unterschiedlicher Audioaufnahmen vor. In diesem Beitrag beschreiben wir ein Synchronisationsverfahren, das...
190
click to vote
GI
2005
Springer
15 years 11 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
156
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Paraconsistent intuitionistic fuzzy set is an extension of intuitionistic fuzzy set or interval-valued fuzzy set. It relaxes the requirement that t + f ≤ 1, where t is ...
163
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Compiler is substantially regarded as the most essential component in the software toolchain to promote a successful processor design. This paper describes our preliminar...
159
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...