2853 search results - page 298 / 571 » On Coherence in Computer Algebra |
104
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: The improved spatial resolution of modern SAR sensors allows the distinction of significant areas in rural as well as in urban environments. For this purpose additional informati...
151
click to vote
PACT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has been already verified that hardware-supported finegrain synchronization provides a significant performance improvement over coarse-grained synchronization mecha...
133
Voted
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
153
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Performing segmentation of narrow, elongated structures with low contrast boundaries is a challenging problem. Boundaries of these structures are difficult to be located when noise...
130
click to vote
CW
2005
IEEE
15 years 10 months ago
2005
IEEE
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...