Sciweavers

1364 search results - page 144 / 273
» Comparative Branching-Time Semantics
Sort
View
113
Voted
ER
2007
Springer
100views Database» more  ER 2007»
15 years 9 months 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 9 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
113
Voted
INFOCOM
2003
IEEE
15 years 8 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
116
Voted
TSD
2001
Springer
15 years 8 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
141
Voted
DEXAW
1999
IEEE
176views Database» more  DEXAW 1999»
15 years 7 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...