4385 search results - page 853 / 877 » Abstraction for Concurrent Objects |
141
click to vote
GBRPR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
104
click to vote
HASKELL
2007
ACM
15 years 2 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
ICB
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. A critical step in automatic fingerprint recognition is the accurate segmentation of fingerprint images. The objective of fingerprint segmentation is to decide which part...
CPAIOR
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
BPM
2006
Springer
15 years 2 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...