Sciweavers

1364 search results - page 144 / 273
» Comparative Branching-Time Semantics
Sort
View
ER
2007
Springer
100views Database» more  ER 2007»
16 years 15 days ago
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
Mehrdad Salehi, Yvan Bédard, Mir Abolfazl M...
PVM
2004
Springer
15 years 11 months ago
An Initial Analysis of the Impact of Overlap and Independent Progress for MPI
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
Ron Brightwell, Keith D. Underwood, Rolf Riesen
INFOCOM
2003
IEEE
15 years 11 months ago
Evaluation of an Adaptive Transport Protocol
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...
Benjamin Atkin, Kenneth P. Birman
TSD
2001
Springer
15 years 10 months ago
Text Segmentation into Paragraphs Based on Local Text Cohesion
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
Igor A. Bolshakov, Alexander F. Gelbukh
DEXAW
1999
IEEE
176views Database» more  DEXAW 1999»
15 years 10 months ago
Windsurf: Region-Based Image Retrieval Using Wavelets
In this paper we present WINDSURF (Wavelet-Based Indexing of Images Using Region Fragmentation), a new approach to content-based image retrieval. The method uses the wavelet trans...
Stefania Ardizzoni, Ilaria Bartolini, Marco Patell...