4385 search results - page 645 / 877 » Abstraction for Concurrent Objects |
178
click to vote
AIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract This article attempts to demystify computer vision for novice programmers through a survey of new applications in the arts, system design considerations, and contemporary ...
140
click to vote
APAL
2006
15 years 5 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
126
click to vote
EOR
2008
15 years 5 months ago
2008
Abstract. Portfolios of assets whose returns have the Gaussian mixture distribution are optimized in the static setting to find portfolio weights and efficient frontiers using the ...
177
click to vote
IAJIT
2008
15 years 5 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
133
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...