7456 search results - page 1284 / 1492 » Parallelism in Logic Programming |
134
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
164
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
168
Voted
TNN
2010
14 years 10 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
158
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
132
click to vote
LR
2011
14 years 6 months ago
2011
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...