7961 search results - page 272 / 1593 » Input-Output Model Programs |
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
187
Voted
IPMI
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We introduce a novel algorithm for actin filament segmentation in 2D TIRFM image sequences. This problem is difficult because actin filaments dynamically change shapes ...
155
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
143
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
119
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...